Sphere Packing in Lean

(github.com) by nill0 | Mar 3, 2026 | 0 comments on HN