TFA Tools

Parsers

• Hyper-linked BNF
• JJParser library
• BNF translation to lex/yacc/flex/bison input
  Syntax tree analysis, by Frank Theiss

TPTP2X and TPTP4X

• Based on the JJParser library
• Transformation and Presentation

Type Checkers

• Simple checker based on JJParser library
• Type checking for TFF by export to Twelf, magic by Florian Rabe