A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
12 points
2 days ago
| 0 comments
| alphaxiv.org
| HN
No one has commented on this post.