AddRapp

📁 Source: Aesop/Tree/AddRapp.lean

Statistics

Metric	Count
Definitions AddRapp, appliedRule, consumedForwardRuleMatches, parent, successProbability, toRuleApplication, addRapp, addRappUnsafe, copyGoals, findPathForAssignedMVars, getGoalsToCopy, makeInitialGoal	12
Theorems	0
Total	12

Aesop

Definitions

Name	Category	Theorems
AddRapp 📖	CompData	—
addRapp 📖	CompOp	—
addRappUnsafe 📖	CompOp	—
copyGoals 📖	CompOp	—
findPathForAssignedMVars 📖	CompOp	—
getGoalsToCopy 📖	CompOp	—
makeInitialGoal 📖	CompOp	—

Aesop.AddRapp

Definitions

Name	Category	Theorems
appliedRule 📖	CompOp	—
consumedForwardRuleMatches 📖	CompOp	—
parent 📖	CompOp	—
successProbability 📖	CompOp	—
toRuleApplication 📖	CompOp	—

---

← Back to Index