Statistics

833 Entries
502 Authors
~270,800 Lemmas
~4,372,400 Lines of Code

Most used AFP entries:

Name Used by ? entries
1. List-Index 23
2. Collections 19
3. Show 18
4. Coinductive 16
5. Jordan_Normal_Form 15
6. Deriving 14
7. Polynomial_Factorization 14
8. Regular-Sets 13
9. Polynomial_Interpolation 12
10. Landau_Symbols 11
11. Word_Lib 11
12. Abstract-Rewriting 10

Growth in number of entries:

Growth in lines of code:

Growth in number of authors:

Size of entries: