Statistics

704 Entries
425 Authors
~217,200 Lemmas
~3,568,900 Lines of Code

Most used AFP articles:

Name Used by ? articles
1. List-Index 21
2. Collections 18
3. Show 16
4. Coinductive 12
5. Deriving 12
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 articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: