Thousands of Solutions from Theorem Provers

Introduction

• What is ATP?
• ATP, What is it Good For?
• What must ATP Deliver?
• The Big Picture
• ARTists' Projects

The TSTP

• Motivations
• Requirements
• TSTP Format
• System States
• TSTP Files
• TSTP Online

The Other Projects

• Yi's Problem Creator
• The Dashti Verifier
• Patrick's Proof Display
• Rich Theories
• Other Projects