Tactic
📁 Source: Aesop/RuleTac/Tactic.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsruleTac, ruleTacImpl, singleRuleTac, singleRuleTacImpl, tacGen, tacGenImpl, tacticM, tacticMImpl, tacticStx | 9 |
| Theorems | 0 |
| Total | 9 |
Aesop.RuleTac
Definitions
| Name | Category | Theorems |
|---|---|---|
ruleTac 📖 | CompOp | — |
ruleTacImpl 📖 | CompOp | — |
singleRuleTac 📖 | CompOp | — |
singleRuleTacImpl 📖 | CompOp | — |
tacGen 📖 | CompOp | — |
tacGenImpl 📖 | CompOp | — |
tacticM 📖 | CompOp | — |
tacticMImpl 📖 | CompOp | — |
tacticStx 📖 | CompOp | — |
---