Statistics

 

Statistics

Number of Articles:371
Number of Authors:261
Number of lemmas:~99,300
Lines of Code:~1,663,800

Most used AFP articles:

NameUsed by ? articles
1. Automatic_Refinement 14
Collections 14
2. List-Index 12
Regular-Sets 12
3. Show 10
4. Abstract-Rewriting 9
Deriving 9
5. Coinductive 7
6. Kleene_Algebra 6
Landau_Symbols 6
Polynomial_Interpolation 6

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: