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

32 points | by measurablefunc 3 days ago