sasharubin / proofcheck Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mokuki082/proofcheck
Proof Checker for a system of Propositional Logic
Home Page: https://olligobber.github.io/ProofCheck/
License: Apache License 2.0