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

by M Wenzel
Venue:User Interfaces for Theorem Provers (UITP 2010), FLOC 2010 Satellite Workshop, ENTCS