Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
S
tatistics
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: