MetaRocq / metarocqLinks

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
460Updated 2 weeks ago

Alternatives and similar repositories for metarocq

Users that are interested in metarocq are comparing it to the libraries listed below

Sorting: