Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
TPTP
See the TPTP main page
Contents
TPTP SkunkWorks
There are a few things I've wanted a place for, and this appears to be the best place for them. If you disagree, the "power of Wiki" is at your disposal... edit this and push them down as far as you want... just please don't think that the right approach is to delete this! -- RDS