feat: add monad-polymorphic sorts - #861

Merged

fmontesi merged 11 commits into

leanprover:mainfrom

eric-wieser:eric-wieser/mergeM

Sep 10, 2026

Commits on Sep 3, 2026

feat: add monad-polymorphic sorts
eric-wieser
committed
9b8ed4e
drop merge
eric-wieser
committed
e4b031e
imports
eric-wieser
committed
5576d8b

Commits on Sep 4, 2026

Address the TODO
eric-wieser
committed
fd34ff1

Commits on Sep 6, 2026

Fix lint
eric-wieser
authored
715b668
lint fix
eric-wieser
authored
ba1178b
Update Cslib/Algorithms/Lean/Sort/Merge.lean

eric-wieser
and
fmontesi
authored
e013611

Commits on Sep 9, 2026

review comments
eric-wieser
committed
8e0c1a9
Merge branch 'eric-wieser/mergeM' of github.com:eric-wieser/cslib into eric-wieser/mergeM
eric-wieser
committed
014bd47
Update Cslib/Algorithms/Lean/Sort/Insertion.lean

eric-wieser
and
kim-em
authored
ff566e0

Commits on Sep 10, 2026

add simp lemmas
eric-wieser
committed
1a1e327