/tptp-java-parser

A Java parser for a subset of the TPTP langauge

OtherNOASSERTION

Watchers