Flyspeck: The formal proof of the Kepler conjecture(github.com)1 points·by throwoutway·قبل 7 أشهر·0 commentsgithub.comFlyspeck: The formal proof of the Kepler conjecturehttps://github.com/flyspeck/flyspeck0 commentsPost comment—