logoalt Hacker News

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

29 points • by measurablefunc • last Tuesday at 11:43 PM • 0 comments • view on HN

Comments

GhostDrift • today at 1:09 AM

[flagged]

GhostDriftInc • today at 1:11 AM

[dead]

tug2024 • today at 4:46 AM

[dead]