LeanBisection
The Bisection method is the simplest numerical approximation approach in mathematics that applies to any continuous function on an interval where the value of the function changes sign from one-end-point of the interval to another
Sort by
Require Order
mathlib
b054692The math library of Lean 4