Statistics

727 Entries
446 Authors
~230,100 Lemmas
~3,767,600 Lines of Code

Most used AFP entries:

Name Used by ? entries
1. List-Index 22
2. Collections 19
3. Show 16
4. Coinductive 13
5. Deriving 13
6. Jordan_Normal_Form 12
7. Polynomial_Factorization 12
8. Regular-Sets 12
9. Landau_Symbols 11
10. Abstract-Rewriting 10
11. Automatic_Refinement 10
12. Native_Word 10

Growth in number of entries:

Growth in lines of code:

Growth in number of authors:

Size of entries: