A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4.

Heiko Becker, Nikita Zyuzin, Raphal Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox

Browse the full FMCAD paper archive.