TPTP World

Popular repositories Loading

1. ServiceTools ServiceToolsPublic

   TPTP World code for manipulating TPTP files of formulae

   C 5 2

2. SyntaxBNF SyntaxBNFPublic

   BNF for the TPTP languages, and parser generator

   C 4 2

3. NonClassicalLogic NonClassicalLogicPublic

   Non-classical logics for the TPTP

   OpenEdge ABL 2

4. TPTP4X TPTP4XPublic

   C 2 2

5. AxiomSelection AxiomSelectionPublic

   Prolog 1 1

6. MPTPTP2078 MPTPTP2078Public

   1 1