Registered user since Wed 23 Nov 2022
Name:Quentin Canu
Affiliation:Inria and Ecole Polytechnique
Contributions
| CPP 2023 | A Formal Disproof of Hirsch Conjecture | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile