Disambiguation evidence for HOL theorem prover via surface form
"Flyspeck project"
Triples (1)
Triples where some other subject referred to this entity
as "Flyspeck project".
Disambiguation evidence for HOL theorem prover via surface form
Triples where some other subject referred to this entity
as "Flyspeck project".