GitHub repository: kharus/TPTP-ANTLR
Primary language: Java
Description: ANTLR grammar and Java code for TPTP language family