Disambiguation evidence for Isabelle proof assistant via surface form
"Isabelle theorem prover"
Triples (5)
Triples where some other subject referred to this entity
as "Isabelle theorem prover".
LCF theorem prover
→
influenced
→
"Isabelle theorem prover"
ⓘ
↳ resolves to Isabelle proof assistant
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
→
relatedTo
→
"Isabelle theorem prover"
ⓘ
↳ resolves to Isabelle proof assistant
Types and Programming Languages (research contributions)
→
usesTool
→
"Isabelle theorem prover"
ⓘ
↳ resolves to Isabelle proof assistant
Isabelle/Isar Reference Manual
→
associatedWith
→
"Isabelle theorem prover"
ⓘ
↳ resolves to Isabelle proof assistant