https://github.com/meditans/logicexperiments

Proof of concept prover for a restricted sequent calculus
https://github.com/meditans/logicexperiments

Last synced: 14 days ago
JSON representation

Proof of concept prover for a restricted sequent calculus

• Host: GitHub
• URL: https://github.com/meditans/logicexperiments
• Owner: meditans
• License: bsd-3-clause
• Created: 2015-11-26T23:57:04.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2016-10-05T10:47:36.000Z (over 8 years ago)
• Last Synced: 2024-03-14T15:57:10.883Z (11 months ago)
• Language: Haskell
• Homepage:
• Size: 50.8 KB
• Stars: 5
• Watchers: 5
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project