Code

feat: order lemmas for UIntX types#854

Code

Open

fgdorais wants to merge 7 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom fgdorais:uint-orderfgdorais/batteries:uint-orderCopy head branch name to clipboard

+161-2

Commits

Commits on Sep 27, 2024

• feat: order lemmas for UIntX types

  fgdorais

  committed
  d784c51

  Copy full SHA for d784c51

• fix: naming convention

  fgdorais

  committed
  d5f198d

  Copy full SHA for d5f198d

• feat: add last

  fgdorais

  committed
  fd4c2cb

  Copy full SHA for fd4c2cb

• fix: naming convention

  fgdorais

  committed
  fc8d7fb

  Copy full SHA for fc8d7fb

• fix: long lines

  fgdorais

  committed
  182c8ba

  Copy full SHA for 182c8ba

• chore: merge main

  fgdorais

  committed
  033473a

  Copy full SHA for 033473a

Commits on Nov 29, 2024

• Merge branch 'main' into uint-order

  fgdorais

  authored
  3b0ca30

  Copy full SHA for 3b0ca30