Unverified50% confidenceFactExact time

Coq was developed by France's INRIA research institute and has a history of more than thirty years.

1

Sources

50%

Confidence

Long-term

Relevance

9/30/2026

First Seen

Sources

How Should AI-Generated Mathematical Proofs Be Published Responsibly?

Related Entities

Coqproduct INRIAcompany

Related Claims

VerifiedCoq 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% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/961406

API

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

MCP

get_claim(id=961406)