Dear AFP contributors, as most of you should be aware, there is a statistics page of the AFP:
<https://devel.isa-afp.org/statistics.html> 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: <https://github.com/erikbern/git-of-theseus>. Cheers Lars
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
