Florian Faissole | DeepAI

DeepAI

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

Featured Co-authors

Bas Spitters
14 publications
Francois Clément
7 publications
Vincent Martin
4 publications
Martin E. Bidlingmaier
4 publications
Sylvie Boldo
4 publications
Micaela Mayero
2 publications

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. ∙

research

∙ 12/16/2019

Synthetic topology in Homotopy Type Theory for probabilistic programming

The ALEA Coq library formalizes measure theory based on a variant of the...

0 Martin E. Bidlingmaier, et al. ∙