4 ms·A Milestone in Formalization: The Sphere Packing Problem in Dimension 834 points by measurablefunc 5mo agoGhostDrift 5mo ago[flagged]GhostDriftInc 5mo ago[dead]tug2024 5mo ago[dead]