Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
S
tatistics
Statistics
Number of Articles:
371
Number of Authors:
261
Number of lemmas:
~99,500
Lines of Code:
~1,668,400
Most used AFP articles:
Name
Used by ? articles
1.
Automatic_Refinement
14
Collections
14
2.
List-Index
12
Regular-Sets
12
3.
Show
10
4.
Abstract-Rewriting
9
Deriving
9
5.
Coinductive
7
6.
Jordan_Normal_Form
6
Kleene_Algebra
6
Landau_Symbols
6
Polynomial_Interpolation
6
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: