逻辑验证漫游指南（2026 版）及其相关文件。 英文版参见 Logical Verification 2026
要编辑 Lean 文件，请参照此教程将 lean 文件夹作为 Lean 4 项目打开。
Lean-zh/LoVe-zh
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
逻辑验证漫游指南（2026 版）及其相关文件。 英文版参见 Logical Verification 2026
要编辑 Lean 文件，请参照此教程将 lean 文件夹作为 Lean 4 项目打开。
