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.