Code

chore: bump for lean4#3159#29

Code

Merged

kim-em merged 7 commits intoleanprover-community:masterleanprover-community/repl:masterfrom mhuisi:bump-3159mhuisi/repl:bump-3159Copy head branch name to clipboardFeb 2, 2024

+22-24

Commits

Commits on Jan 11, 2024

• chore: bump for lean4#3159

  mhuisi

  committed
  da98232

  Copy full SHA for da98232

Commits on Jan 12, 2024

• Merge remote-tracking branch 'origin/master' into bump-3159

  kim-em

  committed
  bccd289

  Copy full SHA for bccd289

• trying, and failing, to run 'lake update' in test/Mathlib

  kim-em

  committed
  0275284

  Copy full SHA for 0275284

• lake update

  kim-em

  committed
  f1a84bc

  Copy full SHA for f1a84bc

Commits on Feb 2, 2024

• update to v4.6.0-rc1

  kim-em

  committed
  399c46b

  Copy full SHA for 399c46b

• merge master

  kim-em

  committed
  e2faced

  Copy full SHA for e2faced

• finish updating for 3159

  kim-em

  committed
  b9533e4

  Copy full SHA for b9533e4