Updating Entries

Statistics

Statistics

Number of Articles:	500
Number of Authors:	334
Number of lemmas:	~137,500
Lines of Code:	~2,321,400

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: