eprover
Repositories
Issues
Comments
Results
2
repositories owned by
eprover
eprover
123
Stars
24
Forks
Watchers
eprover
atp
prover
reasoning
PyRes
39
Stars
11
Forks
Watchers
Pedagogical first-order prover in Python
eprover
