Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Posts
Light
Dark
Automatic
Anthony Fox
Latest
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
Cite
×