ScriptM
📁 Source: Aesop/Script/ScriptM.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsScriptM, ScriptT, run, recordScriptStep, recordScriptSteps, withOptScriptStep, withScriptStep | 7 |
| Theorems | 0 |
| Total | 7 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
ScriptM 📖 | CompOp | — |
ScriptT 📖 | CompOp | — |
recordScriptStep 📖 | CompOp | — |
recordScriptSteps 📖 | CompOp | — |
withOptScriptStep 📖 | CompOp | — |
withScriptStep 📖 | CompOp | — |
Aesop.ScriptT
Definitions
| Name | Category | Theorems |
|---|---|---|
run 📖 | CompOp | — |
---