RemoteSoT - ATP in your Software

HTTP POST

• Encode your own multipart form submission
• Use my Perl script or my Java code (if you need it)
• Never install an ATP system locally
  • Use latest versions (e.g., from CASC)
  • Use unpublished versions
  • Use all the TPTP World tools
  • Motivate a contribution to the TPTP project
• Abuse my server!

Users

• The Sledgehammer in Isabelle
• The Naproche Project
• PMMIS Group at Augsburg University
• Stanford Metaphysics Research Laboratory

• ~182000 requests served in a sample 3 months
  ~1300 distinct IP addresses
  ~225 cites in ~50 countries