Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
S
tatistics
Statistics
Number of Articles:
590
Number of Authors:
376
Number of lemmas:
~165,500
Lines of Code:
~2,899,800
Most used AFP articles:
Name
Used by ? articles
1.
List-Index
17
2.
Coinductive
12
Collections
12
Regular-Sets
12
Show
12
3.
Landau_Symbols
11
4.
Jordan_Normal_Form
10
Polynomial_Factorization
10
5.
Abstract-Rewriting
9
Automatic_Refinement
9
Deriving
9
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: