Email Gateway (Aug 22 2022 at 19:58): 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
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
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: Nov 21 2024 at 12:39 UTC