Skip to content

feat(Algorithms): comparison sort lower bound via decision-tree induction - #770

Open
SamuelSchlesinger wants to merge 2 commits into
leanprover:mainfrom
SamuelSchlesinger:comparison-sort-lower-bound
Open

feat(Algorithms): comparison sort lower bound via decision-tree induction#770
SamuelSchlesinger wants to merge 2 commits into
leanprover:mainfrom
SamuelSchlesinger:comparison-sort-lower-bound

Commits

Commits on Aug 3, 2026

Commits on Aug 4, 2026