Completing the formal proof of higher-dimensional sphere packing #1 Post by carnevalem » Tue, Mar 03, 2026, 3:41 PM UTC Completing the formal proof of higher-dimensional sphere packingmath.inc