Report
📁 Source: Aesop/Stats/Report.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsStatsReport, default, instToStringNanos, scripts, scriptsCore, scriptsNontrivial, sortedMedianD, sortedPercentileD | 8 |
| Theorems | 0 |
| Total | 8 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
StatsReport 📖 | CompOp | — |
sortedMedianD 📖 | CompOp | — |
sortedPercentileD 📖 | CompOp | — |
Aesop.StatsReport
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
instToStringNanos 📖 | CompOp | — |
scripts 📖 | CompOp | — |
scriptsCore 📖 | CompOp | — |
scriptsNontrivial 📖 | CompOp | — |
---