Statistics

809 Entries
482 Authors
~255,300 Lemmas
~4,134,600 Lines of Code

Most used AFP entries:

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

Growth in number of entries:

Growth in lines of code:

Growth in number of authors:

Size of entries: