A Milestone in Formalization: The Sphere Packing Problem in Dimension 8(www.alphaxiv.org)
34 pointsby measurablefunc4 days ago3 comments