cpressey / LCF-style-ND

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

https://codeberg.org/catseye/The-Dossier/src/branch/master/article/LCF-style-Natural-Deduction/README.md

Geek Repo

Github PK Tool