Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
S
tatistics
Statistics
Number of Articles:
651
Number of Authors:
419
Number of lemmas:
~191,700
Lines of Code:
~3,310,100
Most used AFP articles:
Name
Used by ? articles
1.
List-Index
20
2.
Show
14
3.
Collections
13
4.
Coinductive
12
Jordan_Normal_Form
12
Regular-Sets
12
5.
Landau_Symbols
11
Polynomial_Factorization
11
6.
Abstract-Rewriting
10
Automatic_Refinement
10
Deriving
10
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: