Statistics
| 1009 | Entries |
| 603 | Authors |
| ~324,000 | Lemmas |
| ~5,369,000 | Lines of Code |
Most used AFP entries:
| Name | Used by ? entries | |
|---|---|---|
| 1. | List Index | 26 |
| 2. | Haskell's Show Class in Isabelle/HOL | 21 |
| 3. | Collections Framework | 18 |
| 4. | Matrices, Jordan Normal Forms, and Spectral Radius Theory | 17 |
| 5. | Coinductive | 17 |
| 6. | Regular Sets and Expressions | 15 |
| 7. | Polynomial Interpolation | 15 |
| 8. | Polynomial Factorization | 15 |
| 9. | Deriving class instances for datatypes | 15 |
| 10. | The Imperative Refinement Framework | 13 |