Code

chore: work with newer Lean core#75

Code

Merged

david-christiansen merged 1 commit intomainleanprover/verso:mainfrom bump-nightlyleanprover/verso:bump-nightlyCopy head branch name to clipboardApr 8, 2024

+31-25

Commits

Commits on Apr 8, 2024

• chore: work with newer Lean core

  david-christiansen

  committed
  b40fdb2

  Copy full SHA for b40fdb2