Future Acronyms

TFF

• Propagate the TFF language

SMT

• Finalize the TPTP syntax for integer arithmetic
• Align with SMT-LIB
• Collect problems with arithmetic and uninterpreted symbols

PML

• Value added presentation of TPTP derivations
• Access to provenance information
• Proof combination