Popular repositories Loading

1. ServiceTools ServiceTools Public

   TPTP World code for manipulating TPTP files of formulae

   C 5 2

2. SyntaxBNF SyntaxBNF Public

   BNF for the TPTP languages, and parser generator

   C 4 1

3. NonClassicalLogic NonClassicalLogic Public

   Non-classical logics for the TPTP

   OpenEdge ABL 2

4. TPTP4X TPTP4X Public

   C 2 1

5. AxiomSelection AxiomSelection Public

   Prolog 1 1

6. IDVDir IDVDir Public

   JavaScript 1 2