JetLib News
Automatically Filtered News
Home
About
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
admin
Leave a comment
Go to comments