TPTP

These wiki pages are used to list the TPTP development discussions and other documents intended for the TPTP development team. For information on project content and download information please visit the TPTP home page http://www.eclipse.org/tptp/

There are always great ideas that don't get into the plan due to resource limitations or different project priorities at that specific moment.

Contribute to the project by adding here any items you would like to see discussed and/or implemented within the TPTP project. We'll use this page as a sandbox for experimenting with new ideas and trying to promote them to the main stream.