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