Max Baumann (Nov 14 2022 at 12:35): Max Baumann (Nov 14 2022 at 12:35):Hey! Turns out the tutorials went missing on the Isabelle website (https://isabelle.in.tum.de/documentation.html). Each of the links return a 404.
Fabian Huch (Nov 14 2022 at 12:38):They are there for me.
Nikola Katić (Nov 14 2022 at 12:50):When in doubt: https://downforeveryoneorjustme.com/isabelle.in.tum.de?proto=https :smile:
Max Baumann (Nov 14 2022 at 12:53):I checked the Internet Archive and it also has captured the 404s (https://web.archive.org/web/20221104011023/https://isabelle.in.tum.de/dist/Isabelle2021-1/doc/sledgehammer.pdf). Looks like someone has updated it already or some cache issue on my end. :thumbs_up:
Last updated: Apr 25 2024 at 16:19 UTC