Statistics

800 Entries
477 Authors
~252,800 Lemmas
~4,095,400 Lines of Code

Most used AFP entries:

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