Statistics

837 Entries
502 Authors
~272,100 Lemmas
~4,410,300 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. Deriving 15
6. Jordan_Normal_Form 15
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: