Flyspeck: generating a formal proof of the Kepler Conjecturecode.google.com5 points·pook··0 commentsOpen articleSaveView on HN