The 11th TPTP Tea Party

• Introduction

• The definition Role

• Sequents

• Extending TFF and THF

• Non-classical logics^**

• The TDTP Library

• The TPTP World in Github

• Any More Topics?

• Conclusion