Dépôts open source suivis de MetaRocq, triés par étoiles.
Métaprogrammation, méta-théorie vérifiée et implémentation de Rocq en Rocq
