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,400
Lines of Code:
~1,713,300
Most used AFP articles:
Name
Used by ? articles
1.
Collections
6
2.
Abstract-Rewriting
4
CAVA_Automata
4
Kleene_Algebra
4
3.
Coinductive
3
4.
Deriving
2
Flow_Networks
2
Jinja
2
Jordan_Normal_Form
2
LTL
2
LTL_to_GBA
2
LatticeProperties
2
Nominal2
2
Simpl
2
Word_Lib
2
Growth in number of articles:
Growth in lines of code:
Growth in number of authors:
Size of articles: