人物
Georges Gonthier
计算机科学家，以2005年使用Coq定理证明器完成四色定理的形式化证明而闻名
时间轴 (近 90 天)
9月11日
2005年Georges Gonthier使用Coq证明了四色定理
待验证50%
9月7日
四色定理的形式化于2005年由Georges Gonthier使用Coq完成
待验证50%
计算机科学家，以2005年使用Coq定理证明器完成四色定理的形式化证明而闻名
2005年Georges Gonthier使用Coq证明了四色定理
四色定理的形式化于2005年由Georges Gonthier使用Coq完成