Cyril Cohen | DeepAI

DeepAI

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

Featured Co-authors

Ran Chen
10 publications
Laurent Théry
6 publications
Reynald Affeldt
5 publications
Stephan Merz
2 publications
Jean-Jacques Levy
1 publication

research

∙ 09/06/2022

Measure Construction by Extension in Dependent Type Theory with Application to Integration

We report on an original formalization of measure and integration theory...

0 Reynald Affeldt, et al. ∙

research

∙ 10/29/2018

Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle

Comparing provers on a formalization of the same problem is always a val...

0 Ran Chen, et al. ∙