系统设计与验证 (Lean)Lean 与数学库Lean与数学库 欢迎来到 Lean 的 Lean与数学库 部分，在这一章节中，你将学到以下内容： Lean标准库简介 Lean mathlib 介绍 Lean数学库结构 Lean数学库导入 Lean集合论库 Lean代数库 Lean拓扑学库 Lean分析库 Lean几何库 Lean概率论库 Lean数论库 Lean组合数学库 Lean范畴论库 Lean使用外部库 Have fun coding!