TheThirdOne/theorem-prover
A small propositional calculus theorem prover. Mainly made to enhance my own understanding of formal verification and proof procedure.
JavaScriptMIT
A small propositional calculus theorem prover. Mainly made to enhance my own understanding of formal verification and proof procedure.
JavaScriptMIT