Formal computer-verified proof of the Kepler conjecturephys.org2 points·saticmotion··0 commentsOpen articleSaveView on HN