This repository was archived by the owner on Oct 25, 2023. It is now read-only.

Commit 37b5225

committed

chore: bump Lean version

1 parent f102db6 commit 37b5225Copy full SHA for 37b5225

1 file changed

+1

-1

lines changed

lean-toolchain

1 file changed

+1

-1

lines changed

Diff for: `‎lean-toolchain`

+1-1

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-leanprover/lean4:nightly-2022-07-04`
	`1`	`+leanprover/lean4:nightly-2022-07-05`

Comments

(0)