The TPTP World - Quo Vadis

Some Things will be Done

• Problem and solution collection
• Extended Typed First-order Form (TFX)
• Non-classical logics
• TPTP4X parser
• Github organisation

Some Things might be Done

• TDTP data library

Some Things need Help

• (Co)Datatypes
• Linking with StarExec
• TPTP2T problem and solution selector
• StarExec