TY  - RPRT
TI  - The Formal Proof of the Kepler Conjecture: a critical retrospective
AU  - Thomas Hales
PY  - 2024
UR  - https://arxiv.org/abs/2402.08032
ID  - 2402.08032
ER  -