reorganize files

Lean-zh · Jan 9, 2025 · 5f6bb8a · 5f6bb8a
1 parent 00fccc6
commit 5f6bb8a
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 4 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -59,7 +59,8 @@ Lean-zh 提供了一个学习与实践的平台，如果你对 Lean 感兴趣，
 **进行中**
 
 * [Lean 形式化数学(Mathematics in Lean)](https://www.leanprover.cn/math-in-lean-zh/)
-* Lean 交互工具和实用项目的教程介绍
+* Lean 交互工具的使用教程
+* Lean 项目的实践教程
 
 **计划进行**
 

diff --git a/docs/projects/blueprints.md b/docs/projects/blueprints.md
@@ -0,0 +1,3 @@
+# Lean Bleu Print
+
+项目地址：https://github.com/PatrickMassot/leanblueprint
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 b/mkdocs.yml
@@ -78,9 +78,10 @@ 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/translation.md
     - 项目教程: contribute/project.md
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		# Lean Bleu Print

		项目地址：https://github.com/PatrickMassot/leanblueprint