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)
• Detail bug report on TPTP 4.7

This project metric will be updated with more detail closer to Helios ship dates.