Quentin Canu
Publications
Quentin Canu
PhD Student at CMAP
Follow
Ecole Polytechnique
Email
Github
Publications
A Formal Disproof of the Hirsch Conjecture
Published in
CPP 2023
, 2023