Check

📁 Source: Aesop/Check.lean

Statistics

Metric	Count
Definitions all, get, isEnabled, name, proofReconstruction, rules, script, steps, toOption, tree	10
Theorems	0
Total	10

Aesop.Check

Definitions

Name	Category	Theorems
all 📖	CompOp	—
get 📖	CompOp	—
isEnabled 📖	CompOp	—
name 📖	CompOp	—
proofReconstruction 📖	CompOp	—
rules 📖	CompOp	—
script 📖	CompOp	—
toOption 📖	CompOp	—
tree 📖	CompOp	—

Aesop.Check.script

Definitions

Name	Category	Theorems
steps 📖	CompOp	—

---

← Back to Index