Updating Entries

Statistics

Statistics

Number of Articles:	437
Number of Authors:	293
Number of lemmas:	~117,200
Lines of Code:	~1,996,400

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: