@misc{indiciae81ff84a49fa8,
  title = {A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4},
  author = {Heiko Becker and Nikita Zyuzin and Raphael Monat and Eva Darulova and Magnus O. Myreen and Anthony Fox},
  year = {2018},
  url = {https://arxiv.org/abs/1707.02115},
  note = {Source identifier: 1707.02115}
}