math-inc/Sphere-Packing-Lean

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.

1 best points · 0 comments · 1 Hacker News post · 74 GitHub stars · View on GitHub

Hacker News discussions