Sign inSign up

MetaRocq/metarocq

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

Rocq ProverStars 490Forks 95Watchers 490Open issues 92License MIT License
Details
仓库信息
OwnerMetaRocq
Homepagehttps://metarocq.github.io
GitHubhttps://github.com/MetaRocq/metarocq
Last pushed2025-12-10
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--