Statistics

 

Statistics

Number of Articles:405
Number of Authors:273
Number of lemmas:~109,300
Lines of Code:~1,829,200

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: