Re: [isabelle] AFP 2013-2 released



Le Wed, 11 Dec 2013 11:28:38 +0100, Gerwin Klein <Gerwin.Klein at nicta.com.au> a écrit:

The Archive of Formal proofs is now available for Isabelle2013-2 at [http://afp.sf.net].

Cheers,
Gerwin


There's a big one:
http://afp.sourceforge.net/entries/Incompleteness.shtml
Quote: “This represents the first ever machine-assisted proof of the second incompleteness theorem.”

--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University





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