Rare find

metarocq. Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

github.com/MetaRocq/metarocq

Problem

Audience

Updates

No founder updates yet. Check back soon.