TY  - RPRT
TI  - A Formal Disproof of the Hirsch Conjecture
AU  - Xavier Allamigeon
AU  - Quentin Canu
AU  - Pierre-Yves Strub
PY  - 2023
UR  - https://arxiv.org/abs/2301.04060
ID  - 2301.04060
ER  -