Giters
stepchowfun
/
theorem-prover
An automated theorem prover for first-order logic.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
234
Watchers:
16
Issues:
6
Forks:
30
stepchowfun/theorem-prover Issues
Problem when running one of the examples
Updated
5 years ago
Comments count
1
Question about uniqueness quantification
Closed
6 years ago
Comments count
3
Problem finding proof
Closed
10 years ago
Comments count
1
Invalid proof found
Closed
10 years ago
Comments count
1
Syntax error with Python 3.4
Closed
10 years ago
Comments count
1
Gödel's first incompleteness theorem
Closed
10 years ago
Comments count
1