Attribute
📁 Source: Aesop/Frontend/Attribute.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsAttrConfig, elab, rules, quot, aesop, attr_rules_, «attr_rules[_]», instInhabitedAttrConfig, default, attr_rules | 10 |
| Theorems | 0 |
| Total | 10 |
Aesop.Frontend
Definitions
| Name | Category | Theorems |
|---|---|---|
AttrConfig 📖 | CompData | — |
instInhabitedAttrConfig 📖 | CompOp | — |
Aesop.Frontend.AttrConfig
Definitions
| Name | Category | Theorems |
|---|---|---|
elab 📖 | CompOp | — |
rules 📖 | CompOp | — |
Aesop.Frontend.Parser
Definitions
| Name | Category | Theorems |
|---|---|---|
aesop 📖 | CompOp | — |
attr_rules_ 📖 | CompOp | — |
«attr_rules[_]» 📖 | CompOp | — |
Aesop.Frontend.Parser.Aesop.attr_rules
Definitions
| Name | Category | Theorems |
|---|---|---|
quot 📖 | CompOp | — |
Aesop.Frontend.instInhabitedAttrConfig
Definitions
| Name | Category | Theorems |
|---|---|---|
default 📖 | CompOp | — |
Lean.Parser.Category.Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
attr_rules 📖 | CompOp | — |
---