PrototypeCommon
thefundamentaltheor3m/Sphere-Packing-Lean
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
- Owner
- thefundamentaltheor3m (personal account)
- Stars
- Stars: 108
- Forks
- Forks: 56
- Language
- Lean
- License
- Apache-2.0
- Created
- 2024
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- leanprover-community/quote4Stars: 111LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype
- NethermindEth/LeanCILStars: 108LeanPrototype
- leanprover/SampCertStars: 107LeanPrototype
- yuma-mizuno/lean-math-workshopStars: 105LeanPrototype
- chasenorman/CanonicalStars: 105LeanPrototype