Home > lambdatheultimate > Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit

Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit

April 22nd, 2011 04:06 Leave a comment Go to comments