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.22.0-rc3
The math library of Lean 4