/tptp-java-parser

A Java parser for a subset of the TPTP langauge

OtherNOASSERTION

Stargazers

No one’s star this repository yet.