research
∙
04/12/2021
A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Integration, just as much as differentiation, is a fundamental calculus ...
share
research
∙
12/16/2019
