Flyspeck: The formal proof of the Kepler conjecture(github.com)1 points·by throwoutway·7 maanden geleden·0 commentsgithub.comFlyspeck: The formal proof of the Kepler conjecturehttps://github.com/flyspeck/flyspeck0 commentsPost comment—