Come here to participate in discussions relating to the TPTP Project. Questions and discussions about using TPTP and dependent tools should be posted here. If you have ideas, comments, or issues with the project or interest in contributing to or consuming the project, this is the place to do it. The TPTP PMC is committed to an open process for advancing this project and welcomes your active participation. Select one of the links below to subscribe to a mailing list or a newsgroup.
Back to the top