Code

feat: List.mergeSort#5092

Code

Merged

kim-em merged 24 commits intomasterleanprover/lean4:masterfrom mergesortleanprover/lean4:mergesortCopy head branch name to clipboardAug 20, 2024

+1,071-49

Commits

Commits on Aug 14, 2024

• initial exploration

  kim-em

  committed
  74f2b67

  Copy full SHA for 74f2b67

Commits on Aug 16, 2024

• Merge remote-tracking branch 'origin/master' into mergesort

  kim-em

  committed
  dcd2d40

  Copy full SHA for dcd2d40

• almost there

  kim-em

  committed
  2dfdb5b

  Copy full SHA for 2dfdb5b

• some cleanup

  kim-em

  committed
  31b0106

  Copy full SHA for 31b0106

• more cleanup

  kim-em

  committed
  c7ed5ee

  Copy full SHA for c7ed5ee

• feat: upstream List.Perm

  kim-em

  committed
  66a0dc1

  Copy full SHA for 66a0dc1

• Merge branch 'perm' into mergesort

  kim-em

  committed
  91f65f5

  Copy full SHA for 91f65f5

• fix test

  kim-em

  committed
  b67f905

  Copy full SHA for b67f905

• Merge branch 'perm' into mergesort

  kim-em

  committed
  2507485

  Copy full SHA for 2507485

• thinking about stability

  kim-em

  committed
  8e5ee2b

  Copy full SHA for 8e5ee2b

Commits on Aug 17, 2024

• woot, finished proof of stability

  kim-em

  committed
  a89fb0f

  Copy full SHA for a89fb0f

Commits on Aug 18, 2024

• .

  kim-em

  committed
  7c114dc

  Copy full SHA for 7c114dc

• merge

  kim-em

  committed
  2b77908

  Copy full SHA for 2b77908

Commits on Aug 19, 2024

• ...

  kim-em

  committed
  94ff7d8

  Copy full SHA for 94ff7d8

• coercion

  kim-em

  committed
  a481561

  Copy full SHA for a481561

• Merge remote-tracking branch 'origin/master' into mergeSort

  kim-em

  committed
  be71c6a

  Copy full SHA for be71c6a

• .

  kim-em

  committed
  c46d737

  Copy full SHA for c46d737

• cleanup

  kim-em

  committed
  c6be8ff

  Copy full SHA for c6be8ff

• fix comment

  kim-em

  committed
  441181e

  Copy full SHA for 441181e

Commits on Aug 20, 2024

• local instance

  kim-em

  committed
  a151b17

  Copy full SHA for a151b17

• future work

  kim-em

  committed
  a8ab847

  Copy full SHA for a8ab847

• typo

  kim-em

  committed
  b87f2eb

  Copy full SHA for b87f2eb

• typo

  kim-em

  committed
  127ed6b

  Copy full SHA for 127ed6b

• fix tests

  kim-em

  committed
  9fbf7a2

  Copy full SHA for 9fbf7a2