[isabelle-dev] More accurate AFP statistics
hupel at in.tum.de
Wed Apr 24 17:07:21 CEST 2019
Dear AFP contributors,
as most of you should be aware, there is a statistics page of the AFP:
This includes a diagram of line growth over the years.
Recently, I've stumbled upon the tool "git-of-theseus" which can carry
out a more in-depth analysis of line changes: it also tracks how many
lines have survived.
I've attached the result of an AFP analysis to this email. Maybe some of
you find it interesting.
The tool itself can be found here:
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 84446 bytes
Desc: not available
More information about the isabelle-dev