Skip to content

Made Auto justification to subsume natural deduction justifications. #980

Made Auto justification to subsume natural deduction justifications.

Made Auto justification to subsume natural deduction justifications. #980

Annotations

1 error and 1 warning

build-mac

failed Nov 20, 2024 in 31m 30s