Statistics

 

Statistics

Number of Articles:382
Number of Authors:268
Number of lemmas:~103,600
Lines of Code:~1,727,500

Most used AFP articles:

NameUsed by ? articles
1. Collections 13
List-Index 13
2. Regular-Sets 12
Show 12
3. Automatic_Refinement 9
Deriving 9
4. Abstract-Rewriting 8
Coinductive 8
5. Landau_Symbols 7
Native_Word 7
6. Kleene_Algebra 5
Polynomial_Factorization 5
Trie 5

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: