Disambiguation evidence for Isar proof language via surface form

"Isabelle/Isar"

Triples (2)

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
ⓘ