Updating Entries

Statistics

Statistics

Number of Articles:	422
Number of Authors:	291
Number of lemmas:	~110,900
Lines of Code:	~1,877,400

Most used AFP articles:

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

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: