Email Gateway (Sep 13 2023 at 14:30): Email Gateway (Sep 13 2023 at 14:30):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
Following the Isabelle release, the AFP is now available for Isabelle2023 from https://isa-afp.org
There are now more than 3.96 million lines of Isabelle proof in 762 entries by 466 authors.
Enjoy!
Gerwin
Last updated: Jan 04 2025 at 20:18 UTC