Isabelle front-end
C57887
concept
Isabelle front-end is the user-facing interface layer of the Isabelle proof assistant that provides tools for editing, managing, and interacting with formal proofs and theories.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| component of Isabelle | 2 |
Instances (3)
| Instance | Via concept surface |
|---|---|
| Isabelle/jEdit | — |
| Isar | component of Isabelle |
| Isar proof language | component of Isabelle |