Current Status
A Higher-order TPTP World
- TPTP problems
- TSTP solutions
- CASC competition
- TPTP infrastructure
- Just add more users ... you!
It's all Happening
- Java parser
- Derivation verification
- Applications
Acknowledgements
Florian Rabe, Lucas Dixon, Stefan Berghofer, Makarius Wenzel,
Jasmin Blanchette, Andrei Tchaltsev, Alexandre Riazanov, Ted Sider,
Deepak Garg.