security A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 28.04.2026 Comments Mehr lesen →