Adaptive Branch-and-Bound Tactic

The interval_bound_adaptive tactic uses branch-and-bound global optimization.

def LeanCert.Tactic.Auto.tacticInterval_bound_adaptive_ : Lean.ParserDescr

The interval_bound_adaptive tactic.

Equations

• One or more equations did not get rendered due to their size.