Stream: Beginner Questions

Topic: Isabelle2020


view this post on Zulip Eric Bond (Apr 22 2021 at 21:29):

Hello!
I'm trying to get a copy of the 2020 version of Isabelle (compatible with Autocorres). Where can I find older versions of Isabelle?

view this post on Zulip Simon Roßkopf (Apr 22 2021 at 21:30):

https://isabelle.in.tum.de/download_past.html


Last updated: Aug 13 2022 at 05:18 UTC