A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.

Sylvie Boldo, Franois Clment, Vincent Martin, Micaela Mayero, Houda Mouhcine

Browse the full FM paper archive.