Statistics
914 | Entries |
546 | Authors |
~292,200 | Lemmas |
~4,789,700 | 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 | 19 |
4. | Matrices, Jordan Normal Forms, and Spectral Radius Theory | 16 |
5. | Coinductive | 16 |
6. | Deriving class instances for datatypes | 15 |
7. | Regular Sets and Expressions | 14 |
8. | Polynomial Interpolation | 14 |
9. | Polynomial Factorization | 14 |
10. | First-Order Terms | 13 |