Documentation for consumers (developers who extend TPTP)

Not applicable to a specific version of TPTP.

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

Extending TPTP