Updating Entries

Statistics

Statistics

Number of Articles:	377
Number of Authors:	266
Number of lemmas:	~102,400
Lines of Code:	~1,713,000

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: