SpherePacking
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
of 8 versions of SpherePacking
1-8Sort by
Date
9841f80
v4.24.0-rc117.1 MB5ac91a4
v4.24.0-rc1v4.24.0-rc15e97ca7
v4.23.0v4.23.0f655afd
v4.23.0-rc2v4.23.0-rc216.6 MBf9e8ed3
v4.22.0v4.22.014.0 MB96d0826
v4.22.0-rc4v4.22.0-rc414.0 MBcaee223
v4.22.0-rc3v4.22.0-rc318.4 MB419d2e4
v4.22.0-rc2v4.22.0-rc218.6 MB