SemiFormal
📁 Source: PhysLean/Meta/Informal/SemiFormal.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsWantedInfo, content, fileName, line, name, tag, elabLemmaWanted, semiformal_result, wantedExtension | 9 |
| Theorems | 0 |
| Total | 9 |
WantedInfo
Definitions
| Name | Category | Theorems |
|---|---|---|
content 📖 | CompOp | — |
fileName 📖 | CompOp | — |
line 📖 | CompOp | — |
name 📖 | CompOp | — |
tag 📖 | CompOp | — |
(root)
Definitions
| Name | Category | Theorems |
|---|---|---|
WantedInfo 📖 | CompData | — |
elabLemmaWanted 📖 | CompOp | — |
semiformal_result 📖 | CompOp | — |
wantedExtension 📖 | CompOp | — |
---