Flyspeck: The formal proof of the Kepler conjecture(github.com)1 ポイント·投稿者 throwoutway·7 か月前·0 コメントgithub.comFlyspeck: The formal proof of the Kepler conjecturehttps://github.com/flyspeck/flyspeck0 コメントコメントを投稿—