GitHub - cpressey/LCF-style-ND: Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
README.md		README.md

Repository files navigation

This article has moved into The Dossier.

About

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

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

theorem-proving propositional-logic encapsulation natural-deduction theorem-prover proof-checking lcf-style proof-checker parse-dont-validate cpressey-theory

Report repository

Contributors