ExtractScript

📁 Source: Aesop/Tree/ExtractScript.lean

Statistics

Metric	Count
Definitions lazyStepToStep, lazyStepsToSteps, recordLazySteps, recordStep, visitGoal, visitRapp, ExtractScriptM, proofHasMVar, script, run, extractSafePrefixScriptCore, extractScriptCore, extractSafePrefixScriptCore, extractScriptCore, extractSafePrefixScriptCore, extractScriptCore, extractSafePrefixScript, extractScript	18
Theorems	0
Total	18

Aesop

Definitions

Name	Category	Theorems
ExtractScriptM 📖	CompOp	—
extractSafePrefixScript 📖	CompOp	—
extractScript 📖	CompOp	—

Aesop.ExtractScript

Definitions

Name	Category	Theorems
lazyStepToStep 📖	CompOp	—
lazyStepsToSteps 📖	CompOp	—
recordLazySteps 📖	CompOp	—
recordStep 📖	CompOp	—
visitGoal 📖	CompOp	—
visitRapp 📖	CompOp	—

Aesop.ExtractScriptM

Definitions

Name	Category	Theorems
run 📖	CompOp	—

Aesop.ExtractScriptM.State

Definitions

Name	Category	Theorems
proofHasMVar 📖	CompOp	—
script 📖	CompOp	—

Aesop.GoalRef

Definitions

Name	Category	Theorems
extractSafePrefixScriptCore 📖	CompOp	—
extractScriptCore 📖	CompOp	—

Aesop.MVarClusterRef

Definitions

Name	Category	Theorems
extractSafePrefixScriptCore 📖	CompOp	—
extractScriptCore 📖	CompOp	—

Aesop.RappRef

Definitions

Name	Category	Theorems
extractSafePrefixScriptCore 📖	CompOp	—
extractScriptCore 📖	CompOp	—

---

← Back to Index