Statistics

 

Statistics

Number of Articles:469
Number of Authors:314
Number of lemmas:~130,700
Lines of Code:~2,186,100

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: