TPTP Tools

TPTP2X and TPTP4X

• Transform problems and solutions
• Convert TPTP problems to formats used by existing ATP systems
• Generate parameterized problems

Derivation Verification

• Structural verification of derivations
• Semantic verification of derivations

Derivation Viewing

• Interactive derivation viewing
• Derivation synopses
• Interface to GDV

Parsers and Type Checkers

• Hand-rolled and BNF-based parsing
• Simple and Twelf-based type checking