Re: [isabelle] AFP 2013-2 released

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

The Archive of Formal proofs is now available for Isabelle2013-2 at [].


There's a big one:
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.