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
