Code

chore: bump toolchain to v4.7.0#11

Code

Merged

david-christiansen merged 1 commit intoleanprover:masterleanprover/lean4checker:masterfrom david-christiansen:4.7.0-releasedavid-christiansen/lean4checker:4.7.0-releaseCopy head branch name to clipboardApr 3, 2024

+1-1

Commits

Commits on Apr 3, 2024

• chore: bump toolchain to v4.7.0

  david-christiansen

  committed
  85194e3

  Copy full SHA for 85194e3