Repositorios de código abierto monitorizados de MetaRocq, ordenados por estrellas.
Metaprogramación, metateoría verificada e implementación de Rocq en Rocq
