Completing the formal proof of higher-dimensional sphere packing | Dark Hacker News