https://github.com/beerose/proof-checker

Proof checker for natural deduction in propositional logic
https://github.com/beerose/proof-checker

Last synced: 14 days ago
JSON representation

Proof checker for natural deduction in propositional logic

• Host: GitHub
• URL: https://github.com/beerose/proof-checker
• Owner: beerose
• Created: 2018-01-22T18:18:57.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2020-04-28T19:27:00.000Z (over 4 years ago)
• Last Synced: 2024-12-22T07:56:13.423Z (20 days ago)
• Language: OCaml
• Homepage:
• Size: 30.3 KB
• Stars: 9
• Watchers: 2
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project