Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit (2010)

by M Wenzel
Venue:User Interfaces for Theorem Provers (UITP 2010). ENTCS