Email Gateway (Aug 22 2022 at 13:59): Email Gateway (Aug 22 2022 at 13:59):From: Tobias Nipkow <nipkow@in.tum.de>
In our AFP mining paper http://www21.in.tum.de/~nipkow/pubs/cicm15.html we
compiled some statistics about the AFP. A number of these statistics are now
available online, currently only for the development version of the AFP:
https://devel.isa-afp.org/statistics.shtml
Some of you may find them interesting or even useful.
Thanks to Max Haslbeck and Johannes Hölzl
Tobias
smime.p7s
Last updated: May 06 2024 at 20:16 UTC