2010): Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (0)

by Makarius Wenzel
Venue:In: 9th International Workshop On User Interfaces for Theorem Provers (UITP 2010), Electronic Notes in Theoretical Computer Science, Elsevier. Available at http://www4.in.tum.de/~wenzelm/papers/ async-isabelle-scala.pdf