diff --git a/web/statistics/index.html b/web/statistics/index.html --- a/web/statistics/index.html +++ b/web/statistics/index.html @@ -1,337 +1,337 @@ Statistics - Archive of Formal Proofs

Statistics

709 Entries
430 Authors
~225,800 Lemmas
~3,656,500 Lines of Code

Most used AFP entries:

Name Used by ? entries
1. List-Index 22
2. Collections 19
3. Show 16
4. Deriving 13
5. Coinductive 12
6. Jordan_Normal_Form 12
7. Polynomial_Factorization 12
8. Regular-Sets 12
9. Landau_Symbols 11
10. Abstract-Rewriting 10
11. Automatic_Refinement 10
12. Native_Word 10

Growth in number of entries:

Growth in lines of code:

Growth in number of authors:

Size of entries:

\ No newline at end of file