Geeks
kryras
/
GUI-Prover9
GUI for Prover9 theorem prover (Linux version) with translator
Primary Language
Python
GUI-Prover9 GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
carmenchui