⚠️ 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.
Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur