Verified65% 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

3

Sources

65%

Confidence

Long-term

Relevance

8/2/2026

First Seen

Sources

Related Entities

Coqproduct INRIAcompany Four Color Theoremconcept

Related Claims

UnverifiedCoq was developed by France's INRIA research institute and has a history of more than thirty years.61% similar UnverifiedThe formalization of the four color theorem was completed in 2005 by Georges Gonthier using Coq61% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/680328

API

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

MCP

get_claim(id=680328)