Accéder directement au contenu

Sylvie Boldo

3
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

guillaume-melquiond
catherine-lelay
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