6 ms·
Compcert C, also written in Coq, is another interesting C compiler: http://compcert.inria.fr/ http://compcert.inria.fr/
by takemikazuchi 12y ago
Compcert C, also written in Coq, is another interesting C compiler:
http://compcert.inria.fr/ http://compcert.inria.fr/