Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
theorem-proving
propositional-logic
encapsulation
natural-deduction
theorem-prover
proof-checking
lcf-style
proof-checker
parse-dont-validate
cpressey-theory
-
Updated
Oct 31, 2023