/tptp-java-parser

A Java parser for a subset of the TPTP langauge

OtherNOASSERTION

No issues in this repository yet.