Stream: Beginner Questions

Topic: Isabelle2020

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

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):

Last updated: Sep 25 2022 at 23:25 UTC