Parser for TPTP axiom and problem files (In very early stages of development. Unusable for now)
alanruttenberg / cl-tptp-parser Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lisphacker/cl-tptp-parser
Parser for TPTP axiom and problem files
License: GNU General Public License v3.0