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-04-09 16:12, Coq 8.18.0)