TY  - RPRT
TI  - A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
AU  - Heiko Becker
AU  - Nikita Zyuzin
AU  - Raphael Monat
AU  - Eva Darulova
AU  - Magnus O. Myreen
AU  - Anthony Fox
PY  - 2018
UR  - https://arxiv.org/abs/1707.02115
ID  - 1707.02115
ER  -