On the Formalization of the Lebesgue Integration Theory in HOL.

Tarek Mhamdi, Osman Hasan, Sofine Tahar

Browse the full ITP paper archive.