Disambiguation evidence for Coq via surface form

"Coq"

Triples (13)

Triples where some other subject referred to this entity as "Coq".

Gödel's ontological proof → verifiedIn →
"Coq"
↳ resolves to Coq
ⓘ
OCaml → influenced →
"Coq"
↳ resolves to Coq
ⓘ
Idris → influencedBy →
"Coq"
↳ resolves to Coq
ⓘ
Curry–Howard correspondence → usedIn →
"Coq"
↳ resolves to Coq
ⓘ
ELPI → isRelatedTo →
"Coq"
↳ resolves to Coq
ⓘ
HOL theorem prover → relatedTo →
"Coq"
↳ resolves to Coq
ⓘ
LCF → influenced →
"Coq"
↳ resolves to Coq
ⓘ
HOL Light → relatedTo →
"Coq"
↳ resolves to Coq
ⓘ
univalent foundations program → relatedTo →
"Coq"
↳ resolves to Coq
ⓘ
Martin-Löf type theory → influenced →
"Coq"
↳ resolves to Coq
ⓘ
homotopy type theory → implementedIn →
"Coq"
↳ resolves to Coq
ⓘ
Inria–Université Paris-Sud–CNRS research community around Coq → uses →
"Coq"
↳ resolves to Coq
ⓘ
Matthieu Sozeau → toolDeveloperFor →
"Coq"
↳ resolves to Coq
ⓘ