Geeks
kach
/
eddie
An automatic first-order theorem prover in Haskell
Primary Language
Haskell
eddie GitHub
Markdown
Readme
2
Issues
12
Stargazers
4
Watchers
Issues
Closed issue
Include a License
#2 opened
9 years ago
0
Closed issue
Add a license
#1 opened
9 years ago
0