27 ms·
Oh, but they're already building a verified Coq compiler: http://www.cs.princeton.edu/~appel/certicoq/ http://www.cs.princeton.edu/~appel/certicoq/
by more_original 12y ago
Oh, but they're already building a verified Coq compiler:
http://www.cs.princeton.edu/~appel/certicoq/ http://www.cs.princeton.edu/~appel/certicoq/