Statistics
837 | Entries |
502 | Authors |
~272,000 | Lemmas |
~4,410,000 | Lines of Code |
Most used AFP entries:
Name | Used by ? entries | |
---|---|---|
1. | List-Index | 23 |
2. | Collections | 19 |
3. | Show | 18 |
4. | Coinductive | 16 |
5. | Deriving | 15 |
6. | Jordan_Normal_Form | 15 |
7. | Polynomial_Factorization | 14 |
8. | Regular-Sets | 13 |
9. | Polynomial_Interpolation | 12 |
10. | Landau_Symbols | 11 |
11. | Word_Lib | 11 |
12. | Abstract-Rewriting | 10 |