Disambiguation evidence for Isabelle proof assistant via surface form
"Isabelle proof assistant"
Triples (13)
Triples where some other subject referred to this entity
as "Isabelle proof assistant".
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
→
focusesOn
→
"Isabelle proof assistant"
ⓘ
↳ resolves to Isabelle proof assistant
Markus Wenzel
→
primaryDeveloperOf
→
"Isabelle proof assistant"
ⓘ
↳ resolves to Isabelle proof assistant
Vampire automated theorem prover
→
relatedTo
→
"Isabelle proof assistant"
ⓘ
↳ resolves to Isabelle proof assistant
Lawrence C. Paulson
→
knownFor
→
"Isabelle proof assistant"
ⓘ
↳ resolves to Isabelle proof assistant
Isar proof language
→
designedFor
→
"Isabelle proof assistant"
ⓘ
↳ resolves to Isabelle proof assistant
Isabelle document preparation system
→
partOf
→
"Isabelle proof assistant"
ⓘ
↳ resolves to Isabelle proof assistant