Statistics

 

Statistics

Number of Articles:337
Number of Authors:247
Number of lemmas:~90,800
Lines of Code:~1,564,700

Most used AFP articles:

NameUsed by ? articles
1. Collections 14
1. Automatic_Refinement 13
1. Regular-Sets 11
1. Abstract-Rewriting 9
Deriving 9
Show 9
1. List-Index 8
1. Kleene_Algebra 6
1. CAVA_Automata 5
Coinductive 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: