[isabelle-dev] Spec_Check

Makarius makarius at sketis.net
Thu May 30 15:02:13 CEST 2013

On Thu, 30 May 2013, Lukas Bulwahn wrote:

> I used the Bavarian holiday today to get the aforementioned Quickcheck 
> tool into a stable state. The latest stable version is at:
> https://bitbucket.org/nicolai490/qcheck_tum

I've started looking, and will come back on this in a few minites.

(For now just a fresh mail thread on a fresh topic.)


More information about the isabelle-dev mailing list