Study note

Mathlib Documentation Overview

View original Back to list

Properties

Type: Blogs
Status: 待读
Domain: Math
Category: 代数几何、Lean 与可视化
Source: leanprover-community.github.io
Vault note: library/articles/math/Mathlib-Documentation-Overview-cc9133f3cf2e9be7.md

Lean 社区维护的文档导航，按教程、how-to、reference 和 explanation 分类，链接 Mathlib API、数学领域概览、本科数学覆盖表、tactic 文档、贡献规范以及常见设计说明。

这是按需查阅的 Reference，不必完整阅读；遇到“这个领域在 Mathlib 里如何组织”时，先查领域索引，再用 [Loogle](https://loogle.lean-lang.org/) 按类型结构搜索声明。

Mathlib 教程、参考手册和领域索引总入口。

Loading comments...