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 @@
709 | Entries |
430 | Authors |
~225,800 | Lemmas |
~3,656,500 | Lines of Code |
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 |