Completing the formal proof of higher-dimensional sphere packingmath.inc1 point·carnevalem··0 commentsOpen articleSaveView on HN