Geeks
eprover
/
JavaRes
Pedagogical first-order prover in Java
Primary Language
Java
GNU General Public License v2.0
GPL-2.0
JavaRes GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Stargazers
m-usa