Updating Entries

Statistics

Statistics

Number of Articles:	344
Number of Authors:	247
Number of lemmas:	~91,900
Lines of Code:	~1,573,300

Most used AFP articles:

	Name	Used by ? articles
1.	Collections	14
2.	Automatic_Refinement	13
3.	Regular-Sets	12
4.	List-Index	11
5.	Abstract-Rewriting	9
	Deriving	9
	Show	9
6.	Kleene_Algebra	6
7.	CAVA_Automata	5
	Coinductive	5
	Jordan_Normal_Form	5
	LTL	5
	Landau_Symbols	5
	Matrix	5
	Polynomial_Interpolation	5
	Refine_Monadic	5

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: