Code

chore: adapt to lean #5346#951

Code

Open

lyphyser wants to merge 1 commit intoleanprover-community:lean-pr-testing-5346leanprover-community/batteries:lean-pr-testing-5346from lyphyser:patch-1lyphyser/batteries:patch-1Copy head branch name to clipboard

+1-1

Commits

Commits on Sep 21, 2024

• chore: update qsort parameter name for Lean change

  lyphyser

  authored
  52c8120