MetaRocq / metarocq

git clone https://github.com/MetaRocq/metarocq.git

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

stars, 24h · #42,191

+~0

stars, 7 days · #46,392

+~0

stars, 30 days · #46,985

561

★ total

100

forks · 99 open issues

2026-10-20 · 561 ★ 2026-10-23 · 561 ★

LanguageRocq Prover

LicenseMIT

Created2017-10-19 (9y ago)

Last push9d ago

OwnerOrganization