https://github.com/flupe/logic

Experiment on logic formula decidability
https://github.com/flupe/logic

Last synced: 30 days ago
JSON representation

Experiment on logic formula decidability

• Host: GitHub
• URL: https://github.com/flupe/logic
• Owner: flupe
• License: bsd-3-clause
• Created: 2019-01-29T00:11:28.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-02-19T21:09:20.000Z (almost 6 years ago)
• Last Synced: 2023-03-05T20:38:04.547Z (almost 2 years ago)
• Language: Haskell
• Homepage:
• Size: 24.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project