人物
Thomas Hales
数学家，领导Flyspeck项目完成了开普勒猜想的形式化验证
时间轴 (近 90 天)
9月11日
Thomas Hales团队于2017年完成了开普勒猜想的形式化验证（Flyspeck项目）
待验证50%
9月7日
开普勒猜想的形式化（Flyspeck项目）于2014年由Thomas Hales团队使用HOL Light和Isabelle完成，耗时约20人年
待验证50%
数学家，领导Flyspeck项目完成了开普勒猜想的形式化验证
Thomas Hales团队于2017年完成了开普勒猜想的形式化验证（Flyspeck项目）
开普勒猜想的形式化（Flyspeck项目）于2014年由Thomas Hales团队使用HOL Light和Isabelle完成，耗时约20人年