ExtractProof

📁 Source: Aesop/Tree/ExtractProof.lean

Statistics

Metric	Count
Definitions extractProof, extractSafePrefix, extractProof, extractSafePrefix	4
Theorems	0
Total	4

Aesop

Definitions

Name	Category	Theorems
extractProof 📖	CompOp	—
extractSafePrefix 📖	CompOp	—

Aesop.Goal

Definitions

Name	Category	Theorems
extractProof 📖	CompOp	—
extractSafePrefix 📖	CompOp	—

---

← Back to Index