Geeks
leoprover
/
tptp-utils
Library for TPTP-related utility services
Primary Language
Scala
MIT License
MIT
tptp-utils GitHub
Markdown
Readme
0
Issues
2
Stargazers
5
Watchers
Watchers
cbenzmueller
Otto-Friedrich-Universität Bamberg
eemailme
jhcloos
lex-lex
University of Greifswald
Ryugoron
@staytidy @leoprover