A Milestone in Formalization: The Sphere Packing Problem in Dimension 8alphaxiv.org34 points·measurablefunc··0 commentsOpen articleSaveView on HN