TPI Applications

The ATP Process

• This is what you really should do!
• Implemented as a script for the shell interpreter
• The Script and the The Parallelized Script

Minimized Strategy Scheduling

• Anyone remember Voronkov's talk at Dagstuhl?
• Implemented as a script for the shell interpreter
• The Script

Gödel's Proof of God

• Benzmüller made Apple laptops famous
• Implemented using the TPII interpreter
• The Script