Updating Entries

Statistics

Statistics

Number of Articles:	651
Number of Authors:	419
Number of lemmas:	~191,200
Lines of Code:	~3,299,700

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: