Nanos
📁 Source: Aesop/Nanos.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsNanos, instAdd, instDecidableRelLe, instDecidableRelLt, instHDivNat, instLE, instLT, instOfNat, instToJson, nanos, printAsMillis, instBEqNanos, beq, instInhabitedNanos, default, instOrdNanos, ord | 17 |
| Theorems | 0 |
| Total | 17 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
Nanos 📖 | CompData | — |
instBEqNanos 📖 | CompOp | — |
instInhabitedNanos 📖 | CompOp | — |
instOrdNanos 📖 | CompOp | — |
Aesop.Nanos
Definitions
| Name | Category | Theorems |
|---|---|---|
instAdd 📖 | CompOp | — |
instDecidableRelLe 📖 | CompOp | — |
instDecidableRelLt 📖 | CompOp | — |
instHDivNat 📖 | CompOp | — |
instLE 📖 | CompOp | — |
instLT 📖 | CompOp | — |
instOfNat 📖 | CompOp | — |
instToJson 📖 | CompOp | — |
nanos 📖 | CompOp | — |
printAsMillis 📖 | CompOp | — |
Aesop.instBEqNanos
Definitions
| Name | Category | Theorems |
|---|---|---|
beq 📖 | CompOp | — |
Aesop.instInhabitedNanos
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
Aesop.instOrdNanos
Definitions
| Name | Category | Theorems |
|---|---|---|
ord 📖 | CompOp | — |
---