tptp
TPTP (Thousands of Problems for Theorem Provers) is the standard language of problems, proofs, an...
Latest release - Published