Skip to content

Made Logika Auto and Smt2 justifications to subsume natural deduction… #981

Made Logika Auto and Smt2 justifications to subsume natural deduction…

Made Logika Auto and Smt2 justifications to subsume natural deduction… #981

Annotations

1 warning

build-mac

succeeded Nov 20, 2024 in 13m 46s