update homepage

Lean-zh · Sep 4, 2023 · 7b6a339 · 7b6a339
1 parent b055108
commit 7b6a339
Show file tree

Hide file tree

Showing 7 changed files with 95 additions and 5 deletions.
diff --git a/README-zh.md b/README-zh.md
@@ -0,0 +1,18 @@
+
+# Lean 学习教程
+
+网站 https://lean.lookeng.cn 的源代码。
+
+## 本地运行
+
+安装 docsify：
+
+```bash
+npm install -g docsify-cli
+```
+
+在本地服务器上运行网站：
+
+```bash
+docsify serve docs
+```
diff --git a/README.md b/README.md
@@ -1,3 +1,17 @@
 # LeanTutorials
 
-Source codes of the website: https://lean.lookeng.cn.
+Source codes of the website: https://lean.lookeng.cn.
+
+## Run the website locally
+
+Install docsify:
+
+```bash
+npm install -g docsify-cli
+```
+
+Run the website on a local server:
+
+```bash
+docsify serve docs
+```
diff --git a/docs/README.md b/docs/README.md
@@ -1,3 +1,17 @@
-# LeanTutorials
+# Lean 学习教程
 
-Source codes of the website: https://lean.lookeng.cn.
+网站 https://lean.lookeng.cn 的源代码。
+
+## 本地运行
+
+安装 docsify：
+
+```bash
+npm install -g docsify-cli
+```
+
+在本地服务器上运行网站：
+
+```bash
+docsify serve docs
+```
diff --git a/docs/_coverpage.md b/docs/_coverpage.md
@@ -0,0 +1,6 @@
+# LEAN 学习教程
+
+> 形式语言 [LEAN](https://leanprover.github.io/) 的学习笔记及资料
+
+[GitHub](https://github.com/RexWzh/LeanTutorials)
+[开始](README.md)
diff --git a/docs/_navbar.md b/docs/_navbar.md
@@ -0,0 +1,10 @@
+* 相关项目
+  * [GlimpseOfLean](https://lean.lookeng.cn/glimpse_of_lean)
+  * [NNG4](https://adam.math.hhu.de/#/game/nng)
+
+* 相关链接
+  * [LEAN 官网](https://leanprover.github.io/)
+  * [Zulip 社区](https://leanprover.zulipchat.com/)
+
+* 语言
+  * [简体中文](https://lean.lookeng.cn/)
diff --git a/docs/_sidebar.md b/docs/_sidebar.md
@@ -0,0 +1 @@
+- [README](README.md)
diff --git a/docs/index.html b/docs/index.html
@@ -1,8 +1,8 @@
 <!DOCTYPE html>
-<html lang="en">
+<html lang="zh-CN">
 <head>
   <meta charset="UTF-8">
-  <title>Document</title>
+  <title>Lean 学习教程</title>
   <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" />
   <meta name="description" content="Description">
   <meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0">
@@ -20,3 +20,30 @@
   <script src="//cdn.jsdelivr.net/npm/docsify@4"></script>
 </body>
 </html>
+
+<script>
+  window.$docsify = {
+    name: 'Tutorial',
+    repo: 'https://github.com/RexWzh/',
+    loadNavbar: true,  // 加载导航栏
+    loadSidebar: true, // 加载侧边栏
+    // 默认情况下，文档中的所有标题都会被渲染成目录，可更改最大支持渲染标题级别
+    maxLevel: 2,
+    subMaxLevel: 4, // 生成目录的最大级别
+    mergeNavbar: true, // 在小屏幕上将导航栏合并到侧边栏中
+    alias: { // 定义别名
+      '/.*/_sidebar.md': '/_sidebar.md', // 防止意外回滚
+      '/.*/_navbar.md': '/_navbar.md'
+    },
+    coverpage: true,
+    search: {
+      placeholder: 'Serach',
+      noData: 'Not Found',
+      depth: 3
+    },
+  }
+</script>
+<script src="//unpkg.com/prismjs/components/prism-bash.js"></script>
+<script src="//unpkg.com/prismjs/components/prism-sql.js"></script>
+<script src="//unpkg.com/prismjs/components/prism-python.js"></script>
+<script src="//unpkg.com/docsify-copy-code"></script>