Skip to content

feat(Algorithms/Lean): stateful disjoint-set interface and logarithmic bounds for Batteries.UnionFind - #1840

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
feat/disjoint-set-union-find-54df4165
Oct 31, 2026
Merged

SamuelSchlesinger merged 1 commit into
mainfrom
feat/disjoint-set-union-find-54df4165

feat(Algorithms/Lean): stateful disjoint-set interface and logarithmi…

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

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 30, 2026 in 50m 28s