Main
📁 Source: Aesop/Search/Main.lean
Statistics
| Metric | Count |
|---|---|
| 15 | |
| Theorems | 0 |
| Total | 15 |
Aesop
Definitions
| Name | Category | Theorems |
|---|---|---|
checkGoalLimit 📖 | CompOp | — |
checkRappLimit 📖 | CompOp | — |
checkRootUnprovable 📖 | CompOp | — |
expandNextGoal 📖 | CompOp | — |
finalizeProof 📖 | CompOp | — |
finishIfProven 📖 | CompOp | — |
getProof? 📖 | CompOp | — |
handleNonfatalError 📖 | CompOp | — |
nextActiveGoal 📖 | CompOp | — |
search 📖 | CompOp | — |
searchLoop 📖 | CompOp | — |
throwAesopEx 📖 | CompOp | — |
traceScript 📖 | CompOp | — |
traceTree 📖 | CompOp | — |
treeHasProgress 📖 | CompOp | — |
---