Registered user since Fri 25 Sep 2026
Name:Danaël Carbonneau
Country:France
Affiliation:LIP6, Sorbonne Université
Personal website: https://danael_carbonneau.codeberg.page/
Research interests:Formal verification, Proof assistants, Probabilistic programming languages
Contributions
Using general profile