Statistics

629 Articles
391 Authors
~184,000 Lemmas
~3,175,600 Lines of Code

Most used AFP articles:

Name Used by ? articles
1. List-Index 18
2. Show 13
3. Coinductive 12
4. Collections 12
5. Regular-Sets 12
6. Landau_Symbols 11
7. Jordan_Normal_Form 10
8. Polynomial_Factorization 10
9. Abstract-Rewriting 9
10. Automatic_Refinement 9
11. Deriving 9
12. Native_Word 9

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: