cl-tptp-parser Parser for TPTP axiom and problem files (In very early stages of development. Unusable for now)