This article has moved into The Dossier.
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
This article has moved into The Dossier.