Code

chore: bump toolchain to v4.18.0-rc1#30

Code

Merged

kim-em merged 5 commits intomainleanprover/lean4-cli:mainfrom bump_to_v4.18.0-rc1leanprover/lean4-cli:bump_to_v4.18.0-rc1Copy head branch name to clipboardMar 3, 2025

+10-11

Commits

Commits on Feb 17, 2025

• updates for leanprover/lean4#7059

  kim-em

  committed
  5bf2647

  Copy full SHA for 5bf2647

Commits on Mar 3, 2025

• chore: bump toolchain to v4.18.0-rc1

  kim-em

  committed
  7a6684b

  Copy full SHA for 7a6684b

• deprecations

  kim-em

  committed
  5fd1298

  Copy full SHA for 5fd1298

• merge nightly-testing

  kim-em

  committed
  dfeac20

  Copy full SHA for dfeac20

• deprecations

  kim-em

  committed
  ad92801

  Copy full SHA for ad92801