Updating Entries

Statistics

Statistics

Number of Articles:	375
Number of Authors:	264
Number of lemmas:	~100,100
Lines of Code:	~1,675,000

Most used AFP articles:

	Name	Used by ? articles
1.	Collections	6
2.	Abstract-Rewriting	4
	CAVA_Automata	4
	Kleene_Algebra	4
	Refine_Imperative_HOL	4
3.	Coinductive	3
4.	Automatic_Refinement	2
	Deriving	2
	Flow_Networks	2
	IP_Addresses	2
	Jinja	2
	Jordan_Normal_Form	2
	LTL	2
	LTL_to_GBA	2
	LatticeProperties	2
	Nominal2	2
	Simpl	2
	Simple_Firewall	2
	Word_Lib	2

Growth in number of articles:

Growth in lines of code:

Growth in number of authors:

Size of articles: