Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
S
tatistics
Statistics
Number of Articles:
465
Number of Authors:
305
Number of lemmas:
~128,700
Lines of Code:
~2,178,900
Most used AFP articles:
Name
Used by ? articles
1.
Collections
15
2.
List-Index
14
3.
Coinductive
12
Regular-Sets
12
Show
12
4.
Landau_Symbols
11
5.
Abstract-Rewriting
10
Deriving
10
6.
Automatic_Refinement
9
7.
CAVA_Automata
8
Native_Word
8
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: