Preuve formelle du théorème de Lax–Milgram
Résumé
Résumé du papier "A Coq formal proof of the Lax-Milgram Theorem", CPP 2017.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...