Skip to content

Tweak drule_all* so negated conclusions are not seen as implications #719

Tweak drule_all* so negated conclusions are not seen as implications

Tweak drule_all* so negated conclusions are not seen as implications #719

Triggered via push January 31, 2025 04:26
Status Success
Total duration 2h 6m 11s
Artifacts

docker-ci.yml

on: push
Fit to window
Zoom out
Zoom in