MetaRocq / metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- Repository stars
- 569All-time #57,041
- Fork
- 101
- Last push
- updated 1 days ago
- Repository created
- since 2017
About
Metaprogramming, verified meta-theory and implementation of Rocq in RocqSummarised by AI from the README; the original prevails
Author description: Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Basic listing based on official public information; functionality has not been independently evaluated.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.