Statistics

 

Statistics

Number of Articles:422
Number of Authors:291
Number of lemmas:~110,900
Lines of Code:~1,877,400

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: