Code

feat: de-mathlib Nat.binaryRec#314

Code

Closed

FR-vdash-bot wants to merge 35 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom FR-vdash-bot:bitwiseFR-vdash-bot/std4:bitwiseCopy head branch name to clipboard

+279-101

Commits

Commits on Oct 22, 2023

• feat: de-mathlib Nat.binaryRec

  FR-vdash-bot

  committed
  dde0327

  Copy full SHA for dde0327

• specialize

  FR-vdash-bot

  committed
  148c53f

  Copy full SHA for 148c53f

• lint

  FR-vdash-bot

  committed
  6b9474b

  Copy full SHA for 6b9474b

• inline

  FR-vdash-bot

  committed
  230166f

  Copy full SHA for 230166f

• generalize & golf

  FR-vdash-bot

  committed
  730782c

  Copy full SHA for 730782c

• mathlib dislike binaryRec with elab_as_elim

  FR-vdash-bot

  committed
  9da444d

  Copy full SHA for 9da444d

Commits on Oct 23, 2023

• move & golf

  FR-vdash-bot

  committed
  6c6cd81

  Copy full SHA for 6c6cd81

Commits on Nov 15, 2023

• Merge remote-tracking branch 'upstream/main' into bitwise

  FR-vdash-bot

  committed
  b33a41f

  Copy full SHA for b33a41f

• fix

  FR-vdash-bot

  committed
  ff6786b

  Copy full SHA for ff6786b

Commits on Dec 15, 2023

• Merge remote-tracking branch 'upstream/main' into bitwise

  FR-vdash-bot

  committed
  e638457

  Copy full SHA for e638457

• fix merge

  FR-vdash-bot

  committed
  cff0bf7

  Copy full SHA for cff0bf7

• fix merge & golf

  FR-vdash-bot

  committed
  615cfc9

  Copy full SHA for 615cfc9

• feat: more Bool lemmas

  FR-vdash-bot

  committed
  6982af0

  Copy full SHA for 6982af0

• style

  FR-vdash-bot

  committed
  2aacb40

  Copy full SHA for 2aacb40

• Merge branch 'more_lemmas_for_bool' into bitwise

  FR-vdash-bot

  committed
  a138ebb

  Copy full SHA for a138ebb

• fix

  FR-vdash-bot

  committed
  3fed6e4

  Copy full SHA for 3fed6e4

• fix

  FR-vdash-bot

  committed
  7607939

  Copy full SHA for 7607939

• fix

  FR-vdash-bot

  committed
  abd94e2

  Copy full SHA for abd94e2

• fix

  FR-vdash-bot

  committed
  daf7634

  Copy full SHA for daf7634

• Merge branch 'more_lemmas_for_bool' into bitwise

  FR-vdash-bot

  committed
  198f289

  Copy full SHA for 198f289

• feat: more lemmas about equality

  FR-vdash-bot

  committed
  3e9efc4

  Copy full SHA for 3e9efc4

• no ↦

  FR-vdash-bot

  committed
  fbf3b82

  Copy full SHA for fbf3b82

• lint

  FR-vdash-bot

  committed
  03265b6

  Copy full SHA for 03265b6

• Merge branch 'more_lemmas_about_eq' into bitwise

  FR-vdash-bot

  committed
  7738c3a

  Copy full SHA for 7738c3a

Commits on Dec 18, 2023

• fix name

  FR-vdash-bot

  committed
  661debc

  Copy full SHA for 661debc

Commits on Dec 19, 2023

• it was not elab_as_elim in mathlib but eventually I think it should be

  FR-vdash-bot

  committed
  ba2cdc5

  Copy full SHA for ba2cdc5

• implicit

  FR-vdash-bot

  committed
  f536348

  Copy full SHA for f536348

Commits on Dec 29, 2023

• suggestion

  FR-vdash-bot

  authored
  bd518d9

  Copy full SHA for bd518d9

Commits on Jan 19, 2024

• Merge remote-tracking branch 'upstream/main' into bitwise

  FR-vdash-bot

  committed
  c5b411a

  Copy full SHA for c5b411a

• fix merge

  FR-vdash-bot

  committed
  1736834

  Copy full SHA for 1736834

Commits on Jan 20, 2024

• Merge remote-tracking branch 'upstream/main' into more_lemmas_for_bool

  FR-vdash-bot

  committed
  8901a71

  Copy full SHA for 8901a71

• Update Bool.lean

  FR-vdash-bot

  committed
  86627c6

  Copy full SHA for 86627c6

• Merge branch 'more_lemmas_for_bool' into bitwise

  FR-vdash-bot

  committed
  70bbab4

  Copy full SHA for 70bbab4

• fix merge

  FR-vdash-bot

  committed
  67605c3

  Copy full SHA for 67605c3

Commits on Jan 26, 2024

• Merge remote-tracking branch 'upstream/main' into bitwise

  FR-vdash-bot

  committed
  89a4e75

  Copy full SHA for 89a4e75