Updating Entries

Statistics

Statistics

Number of Articles:	462
Number of Authors:	305
Number of lemmas:	~127,600
Lines of Code:	~2,145,300

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: