3 ms·Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit3 points by mmphosis 16y ago