Geeks
theoremprover-museum
/
SETHEO
The SETHEO theorem prover (C version)
Primary Language
C
SETHEO GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
Watchers
jhcloos
JohannSchumann
kohlhase
Computer Science, FAU Erlangen Nürnberg