精益Mathlib 是的用户维护库。它包含编程基础结构和数学，以及使用前者并允许开发后者的策略。 安装 您可以在上找到安装Lean，Mathlib和支持工具的详细说明。 实验中 一切都安装好了吗？为什么不从开始呢？ 有关更多指针，请参阅。 文献资料 除了上面的安装指南和，mathlib的文档还包括： ：从源.lean文件文档。除了为库中每个文件生成的页面外，文档还包括以下页面： ， ，和 。 描述，以及对数学家的。 几个 一些不是特定于Mathlib的（请参阅“其他主题”） 想要人的文档