Expansion

📁 Source: Aesop/Search/Expansion.lean

Statistics

Metric	Count
Definitions RuleResult, isSuccessful, toEmoji, SafeRuleResult, isSuccessfulOrPostponed, toEmoji, SafeRulesResult, toEmoji, addRapps, applyPostponedSafeRule, expandGoal, runFirstSafeRule, runFirstUnsafeRule, runRegularRuleCore, runRegularRuleTac, runSafeRule, runUnsafeRule, withRuleTraceNode	18
Theorems	0
Total	18

Aesop

Definitions

Name	Category	Theorems
RuleResult 📖	CompData	—
SafeRuleResult 📖	CompData	—
SafeRulesResult 📖	CompData	—
addRapps 📖	CompOp	—
applyPostponedSafeRule 📖	CompOp	—
expandGoal 📖	CompOp	—
runFirstSafeRule 📖	CompOp	—
runFirstUnsafeRule 📖	CompOp	—
runRegularRuleCore 📖	CompOp	—
runRegularRuleTac 📖	CompOp	—
runSafeRule 📖	CompOp	—
runUnsafeRule 📖	CompOp	—
withRuleTraceNode 📖	CompOp	—

Aesop.RuleResult

Definitions

Name	Category	Theorems
isSuccessful 📖	CompOp	—
toEmoji 📖	CompOp	—

Aesop.SafeRuleResult

Definitions

Name	Category	Theorems
isSuccessfulOrPostponed 📖	CompOp	—
toEmoji 📖	CompOp	—

Aesop.SafeRulesResult

Definitions

Name	Category	Theorems
toEmoji 📖	CompOp	—

---

← Back to Index