TPTP documents are provided under the Eclipse Foundation Software User Agreement.
TPTP documentation is divided into three areas:Documentation for users
For developers who profile or test with TPTP.Read installation guides, release notes, and getting started guides. View a list of what's new, screencasts, and demonstrations of TPTP features.
Documentation for consumers
For extenders of TPTP.Read installation guides, release notes, and getting started guides for extenders of TPTP. Learn how to build TPTP, run TPTP tests, and how to migrate from an older version of TPTP to the latest version.
- Documentation applicable to all versions of TPTP
- Version specific documentation:
- Dated documentation
Documentation for committers
For committers of TPTP.Learn what's required to test TPTP, the API rules, and about TPTP processes.
Technical documentation for committers
For committers of TPTP.Learn APIs, technical specifications, and information about work in progress.

