Disambiguation evidence for Isabelle proof assistant via surface form
"Isar – A Generic Interpretative Approach to Readable Formal Proofs"
Triples (1)
Triples where some other subject referred to this entity
as "Isar – A Generic Interpretative Approach to Readable Formal Proofs".
Markus Wenzel
→
notablePublication
→
"Isar – A Generic Interpretative Approach to Readable Formal Proofs"
ⓘ
↳ resolves to Isabelle proof assistant