Statistics

 

Statistics

Number of Articles:369
Number of Authors:261
Number of lemmas:~98,600
Lines of Code:~1,670,900

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: