Code

chore: upstream Nat.binaryRec#799

Code

Open

FR-vdash-bot wants to merge 3 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom FR-vdash-bot:binaryRecFR-vdash-bot/std4:binaryRecCopy head branch name to clipboard

+156

Commits

Commits on Jun 9, 2024

• Squashed commit of the following:

  FR-vdash-bot

  committed
  c50c429

  Copy full SHA for c50c429

Commits on Dec 1, 2024

• Merge branch 'main' into binaryRec

  FR-vdash-bot

  committed
  c78364c

  Copy full SHA for c78364c

• Update BinaryRec.lean

  FR-vdash-bot

  committed
  0c1b7da

  Copy full SHA for 0c1b7da