Lean-zh
diff --git a/‎book/lean-toolchain‎
Lines changed: 1 addition & 1 deletion b/‎book/lean-toolchain‎
Lines changed: 1 addition & 1 deletion
@@ -1 +1 @@
-leanprover/lean4:nightly-2025-06-01
+leanprover/lean4:v4.22.0-rc4
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-leanprover/lean4:nightly-2025-06-01`
	`1`	`+leanprover/lean4:v4.22.0-rc4`