Disambiguation evidence for Isar proof language via surface form

"Isabelle/Isar"

Triples (5)

Triples where some other subject referred to this entity as "Isabelle/Isar".

Markus Wenzel → notableWork →
"Isabelle/Isar"
↳ resolves to Isar proof language
ⓘ
Markus Wenzel → softwareProject →
"Isabelle/Isar"
↳ resolves to Isar proof language
ⓘ
Isabelle/ML → integratedWith →
"Isabelle/Isar"
↳ resolves to Isar proof language
ⓘ
Isabelle document preparation system → integratesWith →
"Isabelle/Isar"
↳ resolves to Isar proof language
ⓘ
Isabelle → supportsLogic →
"Isabelle/Isar"
↳ resolves to Isar proof language
ⓘ