[isabelle-dev] [Fwd: Re: [isabelle] Codegen from Hoare logics?]

[Amine Chaieb]

Isabelle is roaring ahead!

Tobias Nipkow wrote:
> -------- Original Message --------
> Subject: Re: [isabelle] Codegen from Hoare logics?
> Date: Mon, 26 Nov 2007 03:02:42 -0600
> From: Luke Wagner <andhow at gmail.com>
> To: Tobias Nipkow <nipkow at in.tum.de>
> References: 
> <79f699ca0711251218q37dc8956m66264fc37dae3d54 at mail.gmail.com>	 
> <474A8662.4090205 at in.tum.de>	 
> <79f699ca0711260049t45ccfe6fq14891709abb2b323 at mail.gmail.com>	 
> <474A891E.6060300 at in.tum.de>
> 
> Indeed the excitement remains.  This whole Isabelle/Isar/HOL/etc
> project is incredible... and even documented!
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev