Statistics
| 683 | Articles |
| 420 | Authors |
| ~197,800 | Lemmas |
| ~3,415,600 | Lines of Code |
Most used AFP articles:
| Name | Used by ? articles | |
|---|---|---|
| 1. | List-Index | 21 |
| 2. | Collections | 14 |
| 3. | Show | 14 |
| 4. | Coinductive | 12 |
| 5. | Polynomial_Factorization | 12 |
| 6. | Regular-Sets | 12 |
| 7. | Jordan_Normal_Form | 11 |
| 8. | Landau_Symbols | 11 |
| 9. | Abstract-Rewriting | 10 |
| 10. | Automatic_Refinement | 9 |
| 11. | Deriving | 9 |
| 12. | Native_Word | 9 |