Statistics

 

Statistics

Number of Articles:630
Number of Authors:398
Number of lemmas:~183,000
Lines of Code:~3,184,100

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: