https://github.com/cpressey/lcf-style-nd
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
https://github.com/cpressey/lcf-style-nd
cpressey-theory encapsulation lcf-style natural-deduction parse-dont-validate proof-checker proof-checking propositional-logic theorem-prover theorem-proving
Last synced: 3 months ago
JSON representation
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
- Host: GitHub
- URL: https://github.com/cpressey/lcf-style-nd
- Owner: cpressey
- Created: 2022-01-27T22:25:05.000Z (over 4 years ago)
- Default Branch: forwarding-address
- Last Pushed: 2023-10-31T15:21:46.000Z (over 2 years ago)
- Last Synced: 2025-03-05T05:29:46.790Z (over 1 year ago)
- Topics: cpressey-theory, encapsulation, lcf-style, natural-deduction, parse-dont-validate, proof-checker, proof-checking, propositional-logic, theorem-prover, theorem-proving
- Homepage: https://codeberg.org/catseye/The-Dossier/src/branch/master/article/LCF-style-Natural-Deduction/README.md
- Size: 123 KB
- Stars: 6
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This article has [moved into The Dossier](https://codeberg.org/catseye/The-Dossier/src/branch/master/article/LCF-style-Natural-Deduction/README.md).