Tactic
📁 Source: Aesop/Script/Tactic.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsSTactic, numSubgoals, run, Tactic, instToMessageData, sTactic?, structured, uTactic, unstructured, TacticBuilder, UTactic | 11 |
| Theorems | 0 |
| Total | 11 |
Aesop.Script
Definitions
| Name | Category | Theorems |
|---|---|---|
STactic 📖 | CompData | — |
Tactic 📖 | CompData | — |
TacticBuilder 📖 | CompOp | |
UTactic 📖 | CompOp | — |
Aesop.Script.STactic
Definitions
| Name | Category | Theorems |
|---|---|---|
numSubgoals 📖 | CompOp | — |
run 📖 | CompOp | — |
Aesop.Script.Tactic
Definitions
| Name | Category | Theorems |
|---|---|---|
instToMessageData 📖 | CompOp | — |
sTactic? 📖 | CompOp | — |
structured 📖 | CompOp | — |
uTactic 📖 | CompOp | — |
unstructured 📖 | CompOp | — |
---