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
From: Makarius <makarius@sketis.net>
Great. The Spice must flow! (Regardless of the globalized insanities around us.)
Makarius
Last updated: Nov 21 2024 at 12:39 UTC