FRESH
Hacker News
Home
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
34 points by measurablefunc
by GhostDrift
0 subcomment
[flagged]
by GhostDriftInc
0 subcomment
[dead]
by tug2024
0 subcomment
[dead]
