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