Xavier Leroy

Registered user since Thu 19 Oct 2017

Name:Xavier Leroy
Country:France
Affiliation:Collège de France
Personal website:https://xavierleroy.org/

Contributions

CoqPL 2022 Committee Member in Program Committee within the CoqPL-track
Show activities from other conferences

Using general profile