Techniqueintro
Binary search on real numbers
Binary search over a continuous range that halves the interval a fixed number of times or until the precision is reached.
Binary search over a continuous range that halves the interval a fixed number of times or until the precision is reached.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag SHXFW1 Edit this page History Report an error