certicoq

Coq ★ 0 updated 2y ago ⑂ fork

A Verified Compiler for Gallina, Written in Gallina

No plain-English explanation yet — one is being written right now. Check back in a minute.