Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 11 hours 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 (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2022-09-04T15:34:12.000Z (about 2 years ago)
- Last Synced: 2023-04-01T10:21:11.870Z (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:
- Size: 123 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0