This looks really cool. How does this work compare to http://compcert.inria.fr/ http://compcert.inria.fr/ (a verified C compiler)? For most applications C woul

This looks really cool. How does this work compare to http://compcert.inria.fr/ http://compcert.inria.fr/ (a verified C compiler)? For most applications C would be low level enough, and possibly a better option.