Comment by takemikazuchi

11 years ago

Compcert C, also written in Coq, is another interesting C compiler: http://compcert.inria.fr/

0 comments

takemikazuchi

Reply

No comments yet

Contribute on Hacker News ↗