feat: add bisection algorithm

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

242 stars 101 forks source link

Closed fgdorais closed 2 days ago

fgdorais commented 2 months ago

General purpose bisection algorithm.

leanprover-community-bot commented 2 weeks ago

Mathlib CI status (docs):

💥 Mathlib branch batteries-pr-testing-890 build failed against this PR. (2024-09-28 22:55:35) View Log
✅ Mathlib branch batteries-pr-testing-890 has successfully built against this PR. (2024-09-29 17:55:56) View Log