SpherePacking
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
of 3 versions of SpherePacking
1-3Sort by
Date
d5fd402
v4.22.0-rc314.3 MBcaee223
v4.22.0-rc3v4.22.0-rc318.4 MB419d2e4
v4.22.0-rc2v4.22.0-rc218.6 MB