TPTP project metrix
- 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)
- Detail bug report on TPTP 4.7
This project metric will be updated with more detail closer to Helios ship dates.