[isabelle] AFP statistics



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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.