PrintSorries
📁 Source: Mathlib/Util/PrintSorries.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsState, sorries, sorryMsgs, visited, collect, collectSorries, evalCollectSorries, printSorriesStx, «command#printSorriesIn_» | 9 |
| Theorems | 0 |
| Total | 9 |
Mathlib.PrintSorries
Definitions
| Name | Category | Theorems |
|---|---|---|
State 📖 | CompData | — |
collect 📖 | CompOp | — |
collectSorries 📖 | CompOp | — |
evalCollectSorries 📖 | CompOp | — |
printSorriesStx 📖 | CompOp | — |
«command#printSorriesIn_» 📖 | CompOp | — |
Mathlib.PrintSorries.State
Definitions
| Name | Category | Theorems |
|---|---|---|
sorries 📖 | CompOp | — |
sorryMsgs 📖 | CompOp | — |
visited 📖 | CompOp | — |
---