Email Gateway (May 26 2024 at 09:58): Email Gateway (May 26 2024 at 09:58):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
Following the Isabelle release, the AFP is now available for Isabelle2024 from https://isa-afp.org
There are now more than 4.33 million lines of Isabelle proof in 823 entries by 499 authors.
Enjoy!
Gerwin
Last updated: Jan 04 2025 at 20:18 UTC