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

34 points
1/21/1970
5 days ago
by measurablefunc

Comments


GhostDrift

[flagged]

3 days ago

GhostDriftInc

[dead]

3 days ago

tug2024

[dead]

3 days ago