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