Statistics

683Articles
420Authors
~197,800Lemmas
~3,415,600Lines of Code

Most used AFP articles:

NameUsed by ? articles
1.List-Index21
2.Collections14
3.Show14
4.Coinductive12
5.Polynomial_Factorization12
6.Regular-Sets12
7.Jordan_Normal_Form11
8.Landau_Symbols11
9.Abstract-Rewriting10
10.Automatic_Refinement9
11.Deriving9
12.Native_Word9

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: