Updating Entries

Statistics

Statistics

Number of Articles:	626
Number of Authors:	396
Number of lemmas:	~181,100
Lines of Code:	~3,138,900

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: