[控场AI]
待验证50% 置信事实精确时间

Coq由法国INRIA研究院开发，已有三十余年历史

1
来源数
50%
置信度
长期有效
时效性
2026/9/30
首次发现

来源

AI生成数学证明该如何负责任地发布？

涉及实体

CoqproductINRIAcompany

相关事实

已验证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/961406
API
curl https://kongchang.com/api/v1/knowledge/claims/961406
MCP
get_claim(id=961406)