Pinned Repositories
metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
metacoq.github.io
Website of the MetaCoq Project
tutorials
MetaCoq's Repositories
MetaCoq/metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
MetaCoq/tutorials
MetaCoq/metacoq.github.io
Website of the MetaCoq Project