Documents
2021, F. Clément, V. Martin, Lebesgue Integration. Detailed proofs to be formalized in Coq, Rapport de Recherche 9386, Inria.
2021, S. Boldo, F. Clément, F. Faissole, V. Martin, M. Mayero, A Coq Formalization of Lebesgue Integration of Nonnegative Functions, Rapport de Recherche 9401, Inria.
Offre de stage
Membres
Contact
Coordinatrice du projet:
Micaela Mayero
E-mail:
mayero@lipn.univ-paris13.fr
Adresse:
Micaela Mayero
LIPN - Université Paris 13
Institut Galilée
99, av. J.-B. Clément
93430 Villetaneuse
FRANCE