Completion of a formal proof of the Kepler conjecturecode.google.com4 points·fspeech··0 commentsOpen articleSaveView on HN