Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238)
From MaRDI portal
scientific article; zbMATH DE number 6319598
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit |
scientific article; zbMATH DE number 6319598 |
Statements
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (English)
0 references
22 July 2014
0 references
Isabelle
0 references
Scala
0 references
jEdit
0 references
asynchronous proof processing
0 references
re-use of editor and IDE frameworks
0 references
