Statistics

 

Statistics

Number of Articles:484
Number of Authors:325
Number of lemmas:~135,400
Lines of Code:~2,280,900

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: