Disambiguation evidence for Matita proof assistant via surface form
"Matita proof assistant"
Triples (1)
Triples where some other subject referred to this entity
as "Matita proof assistant".
Calculus of Constructions
→
influenced
→
"Matita proof assistant"
ⓘ
↳ resolves to Matita proof assistant
linked to:
calculus of constructions