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 project metrix
TPTP 4.7
- Number of plugins: 105
- Number of features: 43
- Total size of TPTP runtime: ~78M (~38M when compressed in zips)
- Number of committers across all projects: 13 (9 active)
- Number of bugs fixed in TPTP 4.7: 124 (Detail bug report on TPTP 4.7)