Statistics

 

Statistics

Number of Articles:651
Number of Authors:419
Number of lemmas:~191,700
Lines of Code:~3,310,000

Most used AFP articles:

NameUsed by ? articles
1. List-Index 20
2. Show 14
3. Collections 13
4. Coinductive 12
Jordan_Normal_Form 12
Regular-Sets 12
5. Landau_Symbols 11
Polynomial_Factorization 11
6. Abstract-Rewriting 10
Automatic_Refinement 10
Deriving 10

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: