metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
370 stars
17 watching
79 forks
Language: Coq
last commit: 9 days ago
Linked from 2 awesome lists
coqcoq-formalizationmetaprogramming
metacoq Metaprogramming, verified meta-theory and implementation of Coq in Coq
coq-community/awesome-coq
uhub/awesome-coq