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

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