Jump to: navigation, search

RAP/ProjectMetrics

RAP 1.3 (Helios)

  • Number of plug-ins: ~16
  • Size of TPTP runtime: ~22 MB (~10.5 MB when compressed in zips)
  • Number of active committers: 8 (14 in total)
  • Number of bugs opened since 1.3 development start: 805 (109 thereof still open)

This page will be updated with more detail closer to release ship dates.