Email Gateway (Oct 27 2022 at 23:04): Email Gateway (Oct 27 2022 at 23:04):From: Gerwin Klein <kleing@unsw.edu.au>
Following the Isabelle release, the AFP is now available for Isabelle2022 from https://isa-afp.org
There are now more than 3.6 million lines of Isabelle proof in 709 entries by 430 authors.
Enjoy!
Gerwin
Email Gateway (Oct 28 2022 at 11:09):From: Makarius <makarius@sketis.net>
Great. I always count AFP as the main outcome of the Isabelle prover technology.
The AFP website has also seen many improvements recently.
The overview of authors is particularly useful:
https://www.isa-afp.org/authors --- although it would be great to see more
interesting information, e.g. the number of contributions or the years of
activity.
There could be also some link of topics vs. authors: to see better who is
working in which areas.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC