Accéder directement au contenu

Guillaume Melquiond

3
Documents

Publications

"catherine-lelay"
"sboldo"
Image document

Improving Real Analysis in Coq: a User-Friendly Approach to Integrals and Derivatives

Sylvie Boldo , Catherine Lelay , Guillaume Melquiond
CPP - 2nd International Conference on Certified Programs and Proofs - 2012, Dec 2012, Kyoto, Japan. pp.289-304, ⟨10.1007/978-3-642-35308-6_22⟩
Communication dans un congrès hal-00712938v2