Documentation

Lean.Meta.Tactic.Grind.Lookahead

source
@[reducible, inline]
abbrev Lean.Meta.Grind.maxIterations :
Nat
Equations
Instances For
    source
    def Lean.Meta.Grind.lookahead :
    GoalM Bool
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For