4 ms·
There is also Compcert written in Coq and extracted to OCaml: http://compcert.inria.fr/ http://compcert.inria.fr/
by edwintorok 12y ago
There is also Compcert written in Coq and extracted to OCaml:
http://compcert.inria.fr/ http://compcert.inria.fr/