From bebb4ca7000b6eab308418987d2c9367cc3812e3 Mon Sep 17 00:00:00 2001 From: Oling Cat Date: Thu, 18 Jun 2026 03:23:31 +0800 Subject: [PATCH] Logical Verification translated --- docs/index.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/docs/index.md b/docs/index.md index 0092fd8..c0455cf 100644 --- a/docs/index.md +++ b/docs/index.md @@ -57,11 +57,10 @@ Lean-zh 提供一个实践，交流，和知识分享的平台。如果你对 Le - [Lean 4 元编程（Metaprogramming in Lean）](/mp-lean-zh/) - [Lean 形式化数学（Mathematics in Lean）](/math-in-lean-zh/) - [Lean 4 类型检查（Type Checking in Lean）](/type-checking-in-lean-zh/) +- [逻辑验证漫游指南 2026 版（The Hitchhiker's Guide to Logical Verification 2026）](https://github.com/Lean-zh/LoVe-zh) **进行中** - -- [逻辑验证漫游指南 2026 版（The Hitchhiker's Guide to Logical Verification 2026）](https://github.com/Lean-zh/LoVe-zh) - Lean 交互工具的使用教程 - Lean 项目的实践教程