A Coq Formalization of Lebesgue Integration of Nonnegative Functions

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Sylvie Boldo; François Clément; François Clément; Florian Faissole; Vincent Martin; Micaela Mayero

Journal title: "Journal of Automated Reasoning, Springer Verlag, In press, ⟨10.1007/s10817-021-09612-0⟩"

Journal publisher: Journal of Automated Reasoning

Published year: 2022

Published pages: 66, 175–213

DOI identifier: 10.48550/arxiv.2104.05256