Code

feat: Array.qsort_sorted#759

Code

Open

digama0 wants to merge 2 commits intomainleanprover-community/batteries:mainfrom qsort_proofleanprover-community/batteries:qsort_proofCopy head branch name to clipboard

+466-6

Commits

Commits on Apr 21, 2024

• feat: Array.qsort_sorted

  digama0

  committed
  f38f18e

Commits on Apr 22, 2024

• simplify

  digama0

  committed
  37dc3c7