[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

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

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