[isabelle-dev] AFP statistics

Tobias Nipkow nipkow at in.tum.de
Thu Sep 28 14:20:11 CEST 2017

The whole project started with this AFP paper:


First Max developed this just to support the statistics in the paper but then he 
and Lars made it part of the AFP. There is also a hidden part that generates tex 
files for these and a number of further statistics that I use for talks.

Concerning growth of articles. I am not sure we want to provide more finegrained 
statistics for every entry, but attached you find a summary slide. I cannot 
remember precisely what is measured, but at a first approximation it tells us 
that over time every second line of an AFP entry is modified.


On 28/09/2017 14:02, Makarius wrote:
> 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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: slides.pdf
Type: application/pdf
Size: 25750 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170928/addbcfbe/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5156 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170928/addbcfbe/attachment.bin>

More information about the isabelle-dev mailing list