Statistics
Publications
3
Citations
36
H-Index
3
Active since
2016
Florian Faissole is an author at Centre National de la Recherche Scientifique specializing in coq, numerical simulation, and numerical discretization.
Publications per year
2016–2021
3
3
A Coq formal proof of the Lax-Milgram theorem
Sylvie Boldo, François Clément, Florian Faissole et al. · 2016 · 16 citations · Full text
1–3 of 3