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

• Posted 2 days ago by measurablefunc
• 31 points