npm.io
Tptp Packages
tptp-parser
Parser for the TPTP file format
tptp
2.6.2 • Published 7 years ago