research
∙
02/10/2022
Lebesgue Induction and Tonelli's Theorem in Coq
Lebesgue integration is a well-known mathematical tool, used for instanc...
share
research
∙
01/10/2022
A Coq Formalization of the Bochner integral
The Bochner integral is a generalization of the Lebesgue integral, for f...
research
∙
04/12/2021
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Integration, just as much as differentiation, is a fundamental calculus ...
research
∙
08/28/2007