Lean-zh
diff --git a/‎docs/contribute/guide.md b/‎docs/contribute/guide.md
diff --git a/‎docs/index.md
+2-1 b/‎docs/index.md
+2-1
diff --git a/‎docs/projects/blueprints.md
+3 b/‎docs/projects/blueprints.md
+3
diff --git a/‎docs/tutorial/jixia.md ‎docs/projects/jixia.md b/‎docs/tutorial/jixia.md ‎docs/projects/jixia.md
diff --git a/‎docs/tutorial/lean4game.md ‎docs/projects/lean4game.md b/‎docs/tutorial/lean4game.md ‎docs/projects/lean4game.md
diff --git a/‎docs/tutorial/lean4web.md ‎docs/projects/lean4web.md b/‎docs/tutorial/lean4web.md ‎docs/projects/lean4web.md
diff --git a/‎mkdocs.yml
+5-3 b/‎mkdocs.yml
+5-3
@@ -59,7 +59,8 @@ Lean-zh 提供了一个学习与实践的平台，如果你对 Lean 感兴趣，
 **进行中**
 
 * [Lean 形式化数学(Mathematics in Lean)](https://www.leanprover.cn/math-in-lean-zh/)
-* Lean 交互工具和实用项目的教程介绍
+* Lean 交互工具的使用教程
+* Lean 项目的实践教程
 
 **计划进行**
 
 
@@ -0,0 +1,3 @@
+# Lean Bleu Print
+
+项目地址：https://github.com/PatrickMassot/leanblueprint
@@ -78,9 +78,11 @@ nav:
     - PantoGraph 教程: tutorial/pantograph.md
     - Lean4 Jupyter: tutorial/lean4-jupyter.md
   - 项目教程:
-    - Lean4web 在线编译器: tutorial/lean4web.md
-    - jixia 数据分析: tutorial/jixia.md
-    - Lean4Game 教程: tutorial/lean4game.md     
+    - Lean4web 在线编译器: projects/lean4web.md
+    - jixia 数据分析: projects/jixia.md
+    - Lean4Game 教程: projects/lean4game.md
+    - BleuPrints 教程: projects/bleuprints.md
   - 贡献指南:
+    - 贡献指南: contribute/guide.md
     - 文档翻译: contribute/translation.md
     - 项目教程: contribute/project.md
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+# Lean Bleu Print`
	`2`	`+`
	`3`	`+项目地址：https://github.com/PatrickMassot/leanblueprint`