Sphere-Packing-Lean
★ 0
updated 3mo ago
⑂ fork
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
No plain-English explanation yet — one is being written right now. Check back in a minute.