Skip to content

feat(Algorithms/Lean/VanEmdeBoas): recursive predecessor, single-recursion deletion, and OrderedSet realization - #1873

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
feat/veb-predecessor-erase-54df4165
Oct 31, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
feat/veb-predecessor-erase-54df4165

fix(Algorithms/Lean/VanEmdeBoas): upstreamable module refs, bib links…

b55d7a0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
guide
succeeded Oct 30, 2026 in 6m 0s