Sorry
📁 Source: PhysLean/Meta/Linters/Sorry.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsPseudoInfo, name, Pseudo_attr, SorryfulInfo, docstring, fileName, line, name, Sorryful_attr, addPseudofulEntry, addSorryfulEntry, pseudoExtension, sorryfulExtension | 13 |
| Theorems | 0 |
| Total | 13 |
PseudoInfo
Definitions
| Name | Category | Theorems |
|---|---|---|
name 📖 | CompOp | — |
SorryfulInfo
Definitions
| Name | Category | Theorems |
|---|---|---|
docstring 📖 | CompOp | — |
fileName 📖 | CompOp | — |
line 📖 | CompOp | — |
name 📖 | CompOp | — |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
PseudoInfo 📖 | CompData | — |
Pseudo_attr 📖 | CompOp | — |
SorryfulInfo 📖 | CompData | — |
Sorryful_attr 📖 | CompOp | — |
addPseudofulEntry 📖 | CompOp | — |
addSorryfulEntry 📖 | CompOp | — |
pseudoExtension 📖 | CompOp | — |
sorryfulExtension 📖 | CompOp | — |
---