Unverified90% confidenceFactExact time
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
Sources
90%
Confidence
Long-term
Relevance
8/2/2026
First Seen
Sources
Related Entities
Cite This Claim
Stable URI
https://kongchang.com/claim/680328API
curl https://kongchang.com/api/v1/knowledge/claims/680328MCP
get_claim(id=680328)