Isabelle/jEdit
E822903
Isabelle/jEdit is a graphical user interface and integrated development environment for the Isabelle proof assistant, built on top of the jEdit text editor.
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
Isabelle front-end
ⓘ
graphical user interface ⓘ |
| basedOn | jEdit NERFINISHED ⓘ |
| compatibleWith |
Linux
NERFINISHED
ⓘ
Windows NERFINISHED ⓘ macOS NERFINISHED ⓘ |
| designedFor |
formal verification researchers
ⓘ
students learning Isabelle ⓘ theorem proving practitioners ⓘ |
| developedFor | Isabelle proof assistant NERFINISHED ⓘ |
| invokedBy | isabelle jedit command ⓘ |
| license | BSD-style license (via Isabelle) ⓘ |
| maintainedBy | Isabelle development team NERFINISHED ⓘ |
| partOf | Isabelle distribution ⓘ |
| provides |
integration with Isabelle build system
ⓘ
output panel for proof messages ⓘ project-oriented view of Isabelle sessions ⓘ query panel for tools ⓘ session management ⓘ sidekick structure view ⓘ theory file editing ⓘ |
| replaced | Proof General (for many Isabelle users) NERFINISHED ⓘ |
| repository | https://isabelle.in.tum.de/repos/isabelle ⓘ |
| runsOn | JVM NERFINISHED ⓘ |
| supports |
Isabelle document preparation
ⓘ
Isar proof language NERFINISHED ⓘ LaTeX document generation via Isabelle ⓘ ML programming within Isabelle ⓘ Nitpick integration ⓘ Quickcheck integration ⓘ Sledgehammer integration ⓘ asynchronous proof processing ⓘ code completion ⓘ continuous proof checking ⓘ document-oriented proof development ⓘ error and warning messages inline ⓘ hyperlinks to definitions ⓘ interactive theorem proving ⓘ proof state visualization ⓘ semantic highlighting ⓘ syntax highlighting ⓘ tooltips for types and terms ⓘ |
| uses |
Isabelle/ML back-end
NERFINISHED
ⓘ
Isabelle/Scala layer NERFINISHED ⓘ jEdit text editor NERFINISHED ⓘ |
| writtenIn |
Java
NERFINISHED
ⓘ
Scala NERFINISHED ⓘ |
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Isabelle
subject surface form:
Isabelle