Home
About
Submission Guidelines
Updating entries
Using entries
Search
Statistics
Index
Download
S
tatistics
Statistics
Number of Articles:
337
Number of Authors:
247
Number of lemmas:
~91,200
Lines of Code:
~1,557,000
Most used AFP articles:
Name
Used by ? articles
1.
Collections
14
2.
Automatic_Refinement
13
3.
Regular-Sets
11
4.
Abstract-Rewriting
9
Deriving
9
Show
9
5.
List-Index
8
6.
Kleene_Algebra
6
7.
CAVA_Automata
5
Coinductive
5
Matrix
5
Polynomial_Interpolation
5
Refine_Monadic
5
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: