待验证90% 置信事实精确时间

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 Theorem

1

来源数

90%

置信度

长期有效

时效性

2026/8/2

首次发现

来源

涉及实体

Coqproduct INRIAcompany Four Color Theoremconcept

引用此条事实

Stable URI

https://kongchang.com/claim/680328

API

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

MCP

get_claim(id=680328)