Simprocs
📁 Source: PrimeNumberTheoremAnd/Tactic/Simprocs.lean
Statistics
| Metric | Count |
|---|---|
| 2 | |
| 3 | |
| Total | 5 |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
count_ofNat 📖 | CompOp | — |
evalNatExpr 📖 | CompOp | — |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
count_201_true_eq_201 📖 | — | — | — | — | — |
count_even_2010_eq_1010 📖 | — | — | — | — | — |
count_even_201_eq_101 📖 | — | — | — | — | — |
---