Email Gateway (Aug 22 2022 at 18:05): Email Gateway (Aug 22 2022 at 18:05):From: Michal Wallace <michal.wallace@gmail.com>
I've found at least two interesting things supposedly formalized in
isabelle that I would really love to have access to, but the *.thy files
are nowhere to be found.
http://wwwbroy.in.tum.de/publ/papers/5colour.pdf
https://www.inf.ed.ac.uk/publications/thesis/online/IM080566.pdf
Anyone know where to find these files?
Is there any chance we might be able to get them into the AFP?
Email Gateway (Aug 22 2022 at 18:05):From: Tobias Nipkow <nipkow@in.tum.de>
On 26/08/2018 04:50, Michal Wallace wrote:
I've found at least two interesting things supposedly formalized in
isabelle that I would really love to have access to, but the *.thy files
are nowhere to be found.
- "The 5 Colour Theorem in Isabelle/Isar" by Gertrud Bauer and Tobias Nipkow
As far as I know, these files are lost. In retrospect I would not recommend
going that way. It was rather complicated.
Tobias
http://wwwbroy.in.tum.de/publ/papers/5colour.pdf
- "Mechanising Hilbert's _Foundations of Geometry_ in Isabelle" by Phil
Scotthttps://www.inf.ed.ac.uk/publications/thesis/online/IM080566.pdf
Anyone know where to find these files?
Is there any chance we might be able to get them into the AFP?
Last updated: Apr 26 2024 at 20:16 UTC