Micaela Mayero | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Francois Clément
7 publications
Vincent Martin
4 publications
Sylvie Boldo
4 publications
Florian Faissole
2 publications
Houda Mouhcine
1 publication

research

∙ 02/10/2022

Lebesgue Induction and Tonelli's Theorem in Coq

Lebesgue integration is a well-known mathematical tool, used for instanc...

0 Sylvie Boldo, et al. ∙

research

∙ 04/12/2021

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

Integration, just as much as differentiation, is a fundamental calculus ...

0 Sylvie Boldo, et al. ∙