Lebesgue Induction and Tonelli's Theorem in Coq. - Sylvie Boldo; François Clément; Vincent Martin; Micaela Mayero; Houda Mouhcine (CoRR, 2022)

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. - Sylvie Boldo; François Clément; Vincent Martin; Micaela Mayero; Houda Mouhcine (FM, 2023)

Formal Proofs in Applied Mathematics : A Coq Formalization of Simplicial Lagrange Finite Elements. (Preuves formelles en mathématiques appliquées : formalisation en Coq des éléments finis de Lagrange simpliciaux). - Houda Mouhcine (2024)