MetaCoq

icon indicating a website link https://github.com/MetaRocq

icon location The MetaCoq project has been renamed to MetaRocq, see github.com/MetaRocq

Results 1 repositories owned by MetaCoq

metacoq

354
Stars
77
Forks
Watchers

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

verified publisher icon MetaCoq