Accéder directement au contenu

Sylvie Boldo

1
Documents
Identifiants chercheurs

Présentation

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

Publications

992551
Image document

A Coq formal proof of the Lax–Milgram theorem

Sylvie Boldo , François Clément , Florian Faissole , Vincent Martin , Micaela Mayero
6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩
Communication dans un congrès hal-01391578v1