calypsomatic / tptpparser Goto Github PK
View Code? Open in Web Editor NEWThis project forked from marklemay/tptpparser
an xtext based parser for the tptp grammer. (can be used to generate a java parser, and may lead to an awesome eclipse plugin)
License: MIT License