Geeks
teknomo
/
theorem-prover
An automated theorem prover for first-order logic.
Primary Language
Python
theorem-prover GitHub
Markdown
Readme
2
Issues
4
Stargazers
1
Watcher
Issues
Open issue
Infinite loop
#3 opened
2 years ago
0
Closed issue
How can I do more advanced things using the theorem-prover
#2 opened
2 years ago
1