GitHub repository: ontologyportal/TPTP-ANTLR
Primary language: Java
Created: 2021-12-12T05:46:23Z
Description: ANTLR grammar and Java code for TPTP language family