Published in
Springer, Journal of Automated Reasoning, 2(66), p. 175-213, 2021
DOI: 10.1007/s10817-021-09612-0
Links
Tools
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Journal article published in 2021 by
Sylvie Boldo 
,
François Clément,
Florian Faissole,
Vincent Martin,
Micaela Mayero
,
François Clément,
Florian Faissole,
Vincent Martin,
Micaela Mayero
This paper is made freely available by the publisher.
Full text: Download
Published version:
archiving forbidden
Data provided by 