Email Gateway (Aug 19 2022 at 12:58): Email Gateway (Aug 19 2022 at 12:58):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
The Archive of Formal proofs is now available for Isabelle2013-2 at [http://afp.sf.net].
Cheers,
Gerwin
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 19 2022 at 12:58):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
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.”
Last updated: Nov 21 2024 at 12:39 UTC