⚠️ 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.
Extraction de programmes dans le calcul des constructions. (Program extraction in the calculus of constructions)
Christine Paulin-Mohring, Paris Diderot University, France — 1989