Yes: https://hal.inria.fr/inria-00534854v1/document https://xavierleroy.org/publ...

		gmfawcett on Nov 26, 2019 \| parent \| context \| favorite \| on: Learn Coq in Y Minutes Yes: https://hal.inria.fr/inria-00534854v1/document https://xavierleroy.org/publi/floating-point-compcert.pdf