Cătălin Hriţcu
Yonghyun Kim
with contributions from
Santiago Arranz Olmos, Gilles Barthe, Roberto Blanco, Lionel Blatter, Léon Ducruet, Sebastian Harwig, Benjamin C. Pierce, and Jérémy Thibault

Version 1.0 (2026-01-07 13:38, Rocq 9.0.0 or later)