- 3
Sylvie Boldo
3
Documents
Identifiants chercheurs
- sboldo
- 0000-0002-1970-3019
- IdRef : 112505821
Présentation
Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
|
Formalization of Real Analysis: A Survey of Proof Assistants and LibrariesMathematical Structures in Computer Science, 2016, 26 (7), pp.1196-1233. ⟨10.1017/S0960129514000437⟩
Article dans une revue
hal-00806920v2
|
|
Coquelicot: A User-Friendly Library of Real Analysis for CoqMathematics in Computer Science, 2015, 9 (1), pp.41-62. ⟨10.1007/s11786-014-0181-1⟩
Article dans une revue
hal-00860648v2
|
|
Improving Real Analysis in Coq: a User-Friendly Approach to Integrals and DerivativesCPP - 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
|