Statistics

 

Statistics

Number of Articles:441
Number of Authors:295
Number of lemmas:~118,800
Lines of Code:~2,034,200

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: