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

Commit 9156ae6

committed

chore: update Lean version

1 parent 372e00b commit 9156ae6Copy full SHA for 9156ae6

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-09`
	`1`	`+leanprover/lean4:nightly-2022-07-14`

Comments

(0)