Statistics

 

Statistics

Number of Articles:409
Number of Authors:275
Number of lemmas:~110,000
Lines of Code:~1,856,000

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: