https://github.com/wuthefwasthat/proplogic

experimenting with propositional logic provers
https://github.com/wuthefwasthat/proplogic

Last synced: 4 days ago
JSON representation

experimenting with propositional logic provers

• Host: GitHub
• URL: https://github.com/wuthefwasthat/proplogic
• Owner: WuTheFWasThat
• License: other
• Created: 2016-07-09T23:10:31.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-07-17T06:07:16.000Z (over 8 years ago)
• Last Synced: 2024-04-10T02:17:57.033Z (7 months ago)
• Language: Haskell
• Size: 10.7 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project