certicoq: A Verified Compiler for Gallina, Written in Gallina (via gnyeki) — discussion
#formalmethods
