Disambiguation evidence for Lean via surface form

"Lean"

Triples (1)

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

homotopy type theory → implementedIn →
"Lean"
↳ resolves to Lean
ⓘ