Updating Entries

Statistics

Statistics

Number of Articles:	524
Number of Authors:	345
Number of lemmas:	~141,700
Lines of Code:	~2,462,800

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: