Raphaël Monat
Raphaël Monat
Home
Publications
Talks
Software
Community Service
Posts
Light
Dark
Automatic
Magnus O. Myreen
Latest
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4
Cite
×