PrintSorries

📁 Source: Mathlib/Util/PrintSorries.lean

Statistics

Metric	Count
Definitions sorries, sorryMsgs, visited, collect, collectSorries, evalCollectSorries, printSorriesStx, «command#printSorriesIn_»	8
Theorems	0
Total	8

Mathlib.PrintSorries

Definitions

Name	Category	Theorems
collect 📖	CompOp	—
collectSorries 📖	CompOp	—
evalCollectSorries 📖	CompOp	—
printSorriesStx 📖	CompOp	—
«command#printSorriesIn_» 📖	CompOp	—

Mathlib.PrintSorries.State

Definitions

Name	Category	Theorems
sorries 📖	CompOp	—
sorryMsgs 📖	CompOp	—
visited 📖	CompOp	—

---

← Back to Index