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 0.2 (2025-12-28 19:20, Rocq 9.0.0 or later)