Re: [isabelle] ?spam? Re: Simpler theorem statements, and proofs for them [Re: Started auction theory toolbox; announcement, next steps, and questions]



Am 22/11/2012 17:15, schrieb Christoph LANGE:
> BTW, about "Programming and Proving": I had noticed this manual when I got
> started with Isabelle, but then didn't take a closer look, as I was misled by
> the "Programming".  I thought it was some specific guide on verifying functional
> programs.

In a way it is. It starts from a functional programming perspective. If you have
a suggestion for a better title, let me know.

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.