PrototypeCommune
thefundamentaltheor3m/Sphere-Packing-Lean
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
- Propriétaire
- thefundamentaltheor3m (compte personnel)
- Étoiles
- Étoiles : 108
- Forks
- Forks : 56
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/quote4Étoiles : 111LeanPrototype
- schildep/verified-3d-mesh-intersectionÉtoiles : 110LeanPrototype
- NethermindEth/LeanCILÉtoiles : 108LeanPrototype
- leanprover/SampCertÉtoiles : 106LeanPrototype
- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype