Statistics

813	Entries
486	Authors
~258,500	Lemmas
~4,183,400	Lines of Code

Most used AFP entries:

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

Growth in number of entries:

Growth in lines of code:

Growth in number of authors:

Size of entries: