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