https://github.com/kach/eddie
An automatic first-order theorem prover in Haskell
https://github.com/kach/eddie
Last synced: about 1 year ago
JSON representation
An automatic first-order theorem prover in Haskell
- Host: GitHub
- URL: https://github.com/kach/eddie
- Owner: kach
- Created: 2015-10-16T04:24:12.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2015-10-16T04:29:54.000Z (over 10 years ago)
- Last Synced: 2025-03-26T15:48:13.681Z (about 1 year ago)
- Language: Haskell
- Homepage:
- Size: 117 KB
- Stars: 12
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files: