Statistics

686	Entries
422	Authors
~212,000	Lemmas
~3,430,300	Lines of Code

Most used AFP articles:

	Name	Used by ? articles
1.	List-Index	21
2.	Collections	18
3.	Show	16
4.	Coinductive	12
5.	Deriving	12
6.	Jordan_Normal_Form	12
7.	Polynomial_Factorization	12
8.	Regular-Sets	12
9.	Landau_Symbols	11
10.	Abstract-Rewriting	10
11.	Automatic_Refinement	10
12.	Native_Word	9

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: