Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2019

view this post on Zulip Email Gateway (Aug 22 2022 at 19:58):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
The AFP is now available for Isabelle2019, as usual from https://isa-afp.org

The AFP now contains ~2,237,800 lines of proof in 474 articles by 321 Authors.

Enjoy!
Gerwin

view this post on Zulip Email Gateway (Aug 22 2022 at 19:58):

From: Mathias Fleury <mathias.fleury12@gmail.com>
Dear AFP editors,

can someone replace "Isabelle2018" by "Isabelle2019" on the https://www.isa-afp.org/using.html <https://www.isa-afp.org/using.html> page?

Thanks,
Mathias

view this post on Zulip Email Gateway (Aug 22 2022 at 19:58):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
Thanks for spotting that. Now corrected!

Cheers,
Gerwin

Last updated: Apr 26 2024 at 01:06 UTC