Skip to content

feat(Algorithms): Prove insertion sort is stable - #446

Closed
Arleee1 wants to merge 52 commits into
leanprover:mainfrom
Arleee1:insertionstable
Closed

feat(Algorithms): Prove insertion sort is stable#446
Arleee1 wants to merge 52 commits into
leanprover:mainfrom
Arleee1:insertionstable

golf and cleanup

6d1a81d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs