> The AFP statistics https://www.isa-afp.org/statistics.html is very nice
> -- I often show the last diagram in presentations, as a proof of success
> of Isabelle as application platform over the years.
> Who is actually responsible for this tool?

Me and our student Max Haslbeck. It is part of the site generator that
is invoked every time a new entry is added.

The devel equivalent is available at
<https://devel.isa-afp.org/statistics.html> and is re-generated every
time someone pushes to the repository. Currently that one shows wrong
dependency numbers because it hasn't been adapted yet to
session-qualified imports. I'm still working on a proper fix.

isabelle-dev mailing list

Reply via email to