Geeks
olbat
/
robinson-prover
Prover based on Robinson system
Primary Language
Java
GNU General Public License v3.0
GPL-3.0
robinson-prover GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Watchers
eemailme
jhcloos
olbat
Amsterdam, Netherlands