待验证50% 置信事件精确时间

四色定理的形式化于2005年由Georges Gonthier使用Coq完成

1

来源数

50%

置信度

长期有效

时效性

2026/9/7

首次发现

来源

费马大定理形式化：Lean 4如何验证数学史上最难证明

涉及实体

四色定理concept Georges Gonthierperson Coqproduct

相关事实

已验证Coq originated from France's INRIA, is based on the Calculus of Inductive Constructions, and has been used to verify the proof of the Four Color Theorem61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/870174

API

curl https://kongchang.com/api/v1/knowledge/claims/870174

MCP

get_claim(id=870174)