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