Disambiguation evidence for Isar proof language via surface form
"Isabelle/Isar – A Versatile Environment for Human-Readable Formal Proof Documents"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle/Isar – A Versatile Environment for Human-Readable Formal Proof Documents".
Markus Wenzel
→
notablePublication
→
"Isabelle/Isar – A Versatile Environment for Human-Readable Formal Proof Documents"
ⓘ
↳ resolves to Isar proof language