Some Formal Tools for Computer Arithmetic: Flocq and Gappa.

Sylvie Boldo, Guillaume Melquiond

Browse the full ARITH paper archive.