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

Version 0.1 (2025-06-28 11:28, Coq 8.18.0)