certicoq
A Verified Compiler for Gallina, Written in Gallina
135 stars
15 watching
24 forks
Language: Coq
last commit: about 2 months ago
Linked from 2 awesome lists
compilercoqformal-verificationgallina
certicoq A Verified Compiler for Gallina, Written in Gallina
coq-community/awesome-coq
uhub/awesome-coq