Disambiguation evidence for Coq via surface form

"Coq proof assistant"

Triples (9)

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

Christine Paulin-Mohring → notableWork →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
Vampire automated theorem prover → relatedTo →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
Xavier Leroy → usedToolInResearch →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
Calculus of Constructions → influenced →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
linked to: calculus of constructions
Christine Paulin-Mohring → knownFor →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
linked to: Paulin-Mohring
Inria–Université Paris-Sud–CNRS research community around Coq → focusesOn →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
Yves Bertot → notableWork →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
Interactive Theorem Proving and Program Development → mainSubject →
"Coq proof assistant"
↳ resolves to Coq
ⓘ
linked to: Yves Bertot
Matthieu Sozeau → notableWork →
"Coq proof assistant"
↳ resolves to Coq
ⓘ