[isabelle-dev] AFP statistics

Makarius makarius at sketis.net
Thu Sep 28 14:02:46 CEST 2017


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?

Is there a chance to take into account how AFP entries evolve over time?
Right now, it only shows the year of first appearance with the *current*
size. Thus incrementally added sources (or whole sessions) are
attributed to the wrong year.

A prominent example is JinjaThreads, but newer entries like
Ordinary_Differential_Equations have grown significantly, too.


	Makarius


More information about the isabelle-dev mailing list