Problem Specification

• TPTP problem specified by name
  • Tool for browsing the TPTP
  

• File specified for uploading
  • Option for browsing the local disk

• Problem formulae provided directly
  • Links to existing TPTP files