Statistics

704 Entries
426 Authors
~222,700 Lemmas
~3,630,200 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: