Head version
aedbc90f9cb7
aedbc90f9cb709c9b4da706f1bedf36cb9fada12
- Toolchain
- leanprover/lean4:v4.30.0-rc1
- Revision date
- 7 May 2026
- Dependencies
- 16
- Versions
- 2
All packages
Oscario0/LeanBisection
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
This is package metadata from a pinned Reservoir snapshot. It is not an imported proof corpus, an authorship claim, or a Therefore verification record.
External build observation
Exact head commit and toolchain
Reservoir recorded build status failed and test status not observed for commit aedbc90f9cb7 with leanprover/lean4:v4.30.0-rc1 on 17 Jun 2026. Therefore did not run this build.
Pin this source in lakefile.lean
require LeanBisection from git "https://github.com/Oscario0/LeanBisection.git" @ "aedbc90f9cb709c9b4da706f1bedf36cb9fada12"
Discovery boundary
Searchable package, not yet an imported proof corpus
This page comes from a pinned Reservoir index snapshot. Therefore has not imported or independently built this package's declarations. Reservoir provider observations never change a Therefore verification status.
Index commit b6ac225af74cd6d6252fc559e3c4a085c46c618b