Repositórios de código aberto acompanhados de MetaRocq, ordenados por estrelas.
Metaprogramação, metateoria verificada e implementação de Rocq em Rocq
