Geeks
billwestfall
/
tptp_prover9
automated Prover 9 output from TpTp files
Primary Language
Ruby
tptp_prover9 GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
No issues in this repository yet.