Chinese translations

Lean 4 中文教材库

官方教程与工具文档的 Markdown 译文集中在此阅读。支持 LaTeX 公式、Lean 代码高亮与全文搜索。建议顺序：FAQ / VS Code 手册 → 定理证明 → 函数式编程 → 数学形式化 → LoVe。