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

by M Wenzel
Venue:Electronic Notes in Theoretical Computer Science 285