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