Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AFP 2020

view this post on Zulip Email Gateway (Aug 23 2022 at 08:59):

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

There are now 527 entries by 347 authors, and still a few new entires in the queue that we expect to be able to publish soon.

Enjoy!
Gerwin

view this post on Zulip Email Gateway (Aug 23 2022 at 09:00):

From: Makarius <makarius@sketis.net>
Great. The Spice must flow! (Regardless of the globalized insanities around us.)

Makarius

Last updated: Apr 26 2024 at 04:17 UTC