This repository contains an ANTLR4 grammar for the logic input languages provided by the TPTP .
The grammar was successfully tested on all valid syntactical problems of the TPTP.
The actual grammar.
Contains code to test the grammar on a set of TPTP problems.
Contains additional test cases for (unofficial) non-classical logics.