- 1
Sylvie Boldo
1
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
|
A Coq formal proof of the Lax–Milgram theorem6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩
Communication dans un congrès
hal-01391578v1
|