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