Disambiguation evidence for Isabelle/HOL: A Proof Assistant for Higher-Order Logic via surface form
"Isabelle/HOL Tutorial"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle/HOL Tutorial".
Isabelle proof assistant
→
hasDocumentation
→
"Isabelle/HOL Tutorial"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
surface form:
Isabelle