Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: for the plan.

Jump to: navigation, search

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.

Back to the top