Code

chore: bump toolchain to v4.6.0#9

Code

Merged

kim-em merged 2 commits intomasterleanprover/lean4checker:masterfrom bump_to_v4.6.0leanprover/lean4checker:bump_to_v4.6.0Copy head branch name to clipboardFeb 29, 2024

+1-1

Commits

Commits on Feb 1, 2024

• move to v4.6.0-rc1

  kim-em

  committed
  6c36abb

  Copy full SHA for 6c36abb

Commits on Feb 29, 2024

• chore: bump toolchain to v4.6.0

  kim-em

  committed
  798ed9f

  Copy full SHA for 798ed9f