Lean-zh
diff --git a/‎README.md‎
Lines changed: 1 addition & 1 deletion b/‎README.md‎
Lines changed: 1 addition & 1 deletion
@@ -13,7 +13,7 @@ Lean 3 版 [https://github.com/leanprover-community/mathematics_in_lean3](https:
 
 # 源文件说明
 
-本仓库用于生成 [Mathematics in Lean](https://leanprover-community.github.io/mathematics_in_lean/) 教材和用户仓库。
+本仓库用于生成 [Mathematics in Lean (Chinese Translation)](https://www.leanprover.cn/math-in-lean-zh/) 教材和用户仓库。
Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ Lean 3 版 [https://github.com/leanprover-community/mathematics_in_lean3](https:`
`13`	`13`
`14`	`14`	`# 源文件说明`
`15`	`15`
`16`		`-本仓库用于生成 [Mathematics in Lean](https://leanprover-community.github.io/mathematics_in_lean/) 教材和用户仓库。`
	`16`	`+本仓库用于生成 [Mathematics in Lean (Chinese Translation)](https://www.leanprover.cn/math-in-lean-zh/) 教材和用户仓库。`
`17`	`17`
`18`	`18`
`19`	`19`