Stream: General

Topic: Where to find the AFP for Isabelle2021 onwards?

view this post on Zulip David Sanan (Feb 19 2024 at 04:32):

Hi, the SourceForge site seems to have older versions of AFP up to version 2020. Where is it possible to get AFP for 2023, 2022, 2021-1 and 2021? A quick Google search didn't give any good results.

view this post on Zulip Yong Kiam (Feb 19 2024 at 08:46):

https://foss.heptapod.net/isa-afp how about here?

view this post on Zulip David Sanan (Feb 19 2024 at 09:08):

Thanks! It seems that repo has everything. :-)

Last updated: Dec 21 2024 at 16:20 UTC