Disambiguation evidence for Coq via surface form
"Coq proof assistant"
Triples (2)
Triples where some other subject referred to this entity
as "Coq proof assistant".
Disambiguation evidence for Coq via surface form
Triples where some other subject referred to this entity
as "Coq proof assistant".