Statistics

772 Entries
467 Authors
~247,500 Lemmas
~4,008,200 Lines of Code

Most used AFP entries:

Name Used by ? entries
1. List-Index 23
2. Collections 18
3. Show 16
4. Jordan_Normal_Form 15
5. Coinductive 13
6. Deriving 13
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: