Statistics
| 857 | Entries |
| 510 | Authors |
| ~277,600 | Lemmas |
| ~4,506,600 | Lines of Code |
Most used AFP entries:
| Name | Used by ? entries | |
|---|---|---|
| 1. | List-Index | 23 |
| 2. | Collections | 19 |
| 3. | Show | 19 |
| 4. | Coinductive | 16 |
| 5. | Deriving | 15 |
| 6. | Jordan_Normal_Form | 15 |
| 7. | Polynomial_Factorization | 14 |
| 8. | Polynomial_Interpolation | 13 |
| 9. | Regular-Sets | 13 |
| 10. | Automatic_Refinement | 11 |
| 11. | Landau_Symbols | 11 |
| 12. | Refine_Imperative_HOL | 11 |