Disambiguation evidence for Lean theorem prover via surface form
"Lean theorem prover"
Triples (3)
Triples where some other subject referred to this entity
as "Lean theorem prover".
univalent foundations program
→
relatedTo
→
"Lean theorem prover"
ⓘ
↳ resolves to Lean theorem prover