Statistics

837	Entries
502	Authors
~272,100	Lemmas
~4,410,400	Lines of Code

Most used AFP entries:

	Name	Used by ? entries
1.	List-Index	23
2.	Collections	19
3.	Show	18
4.	Coinductive	16
5.	Deriving	15
6.	Jordan_Normal_Form	15
7.	Polynomial_Factorization	14
8.	Regular-Sets	13
9.	Polynomial_Interpolation	12
10.	Landau_Symbols	11
11.	Word_Lib	11
12.	Abstract-Rewriting	10

Growth in number of entries:

Growth in lines of code:

Growth in number of authors:

Size of entries: