CV Accueil - Archive ouverte HAL

Publications

	A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem Sylvie Boldo , François Clément , Vincent Martin , Micaela Mayero , Houda Mouhcine 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ Communication dans un congrès hal-03889276v2

	Lebesgue Induction and Tonelli's Theorem in Coq Sylvie Boldo , François Clément , Vincent Martin , Micaela Mayero , Houda Mouhcine [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17 Rapport hal-03564379v2