Documentation for consumers (developers who extend TPTP)

TPTP Version 4.6.0

TPTP documents are provided under the Eclipse Foundation Software User Agreement.

Building TPTP

Installation and Getting Started Guides