Home
About
Submission
Updating Entries
Using Entries
Search
Statistics
Index
Download
S
tatistics
Statistics
Number of Articles:
377
Number of Authors:
266
Number of lemmas:
~102,600
Lines of Code:
~1,718,000
Most used AFP articles:
Name
Used by ? articles
1.
Collections
13
List-Index
13
2.
Regular-Sets
12
3.
Show
10
4.
Automatic_Refinement
9
Deriving
9
5.
Abstract-Rewriting
8
Coinductive
8
6.
Native_Word
7
7.
Landau_Symbols
6
8.
Kleene_Algebra
5
Trie
5
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: