Sorry

📁 Source: PhysLean/Meta/Sorry.lean

Statistics

Metric	Count
Definitions M, State, containsOfReduceBool, containsSorry, visited, allSorryPseudo, collect, allPseudoAttributed, allSorryfulAttributed, allWithSorryPseudo, collectSorryPseudo, sorryfulPseudoTest	12
Theorems	0
Total	12

PhysLean

Definitions

Name	Category	Theorems
allPseudoAttributed 📖	CompOp	—
allSorryfulAttributed 📖	CompOp	—
allWithSorryPseudo 📖	CompOp	—
collectSorryPseudo 📖	CompOp	—
sorryfulPseudoTest 📖	CompOp	—

PhysLean.CollectSorry

Definitions

Name	Category	Theorems
M 📖	CompOp	—
State 📖	CompData	—
allSorryPseudo 📖	CompOp	—
collect 📖	CompOp	—

PhysLean.CollectSorry.State

Definitions

Name	Category	Theorems
containsOfReduceBool 📖	CompOp	—
containsSorry 📖	CompOp	—
visited 📖	CompOp	—

---

← Back to Index