Statistics

 

Statistics

Number of Articles:462
Number of Authors:305
Number of lemmas:~127,600
Lines of Code:~2,145,300

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: