Statistics

686 Entries
422 Authors
~212,000 Lemmas
~3,430,300 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 9

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: