Not registered as user yet
Name:Rémy Degenne
Affiliation:Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9198-CRIStAL, F-59000 Lille, France
Contributions
CPP 2023 | A formalization of Doob's martingale convergence theorems in mathlib | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile