⚠️ Under construction ⚠️ This website will be officialy launched with the first release of Rocq 9.0 in March 2025.
Until then, there may remain broken links and references to not-yet existing projects.
Principia Mathematica
Alfred North Whitehead and Bertrand Russell, Cambridge University Press — 1910