https://github.com/metacoq/metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

coq coq-formalization metaprogramming

Last synced: 24 Mar 2025

https://github.com/MetaRocq/tutorials

Last synced: 25 Sep 2025

https://github.com/metacoq/metacoq.github.io

Website redirecting to metarocq.github.io

Last synced: 10 Mar 2026