Updating Entries

Statistics

Statistics

Number of Articles:	371
Number of Authors:	261
Number of lemmas:	~99,300
Lines of Code:	~1,663,600

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: