SpherePacking
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
Sort by
Require Order
checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
v4.24.0-rc1
The math library of Lean 4