Disambiguation evidence for Isabelle proof assistant via surface form
"Isabelle/Isar"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle/Isar".
linked to:
Isabelle proof assistant