文件名称：mathlib:精益数学组件库
文件大小：5.69MB
文件格式：ZIP
更新时间：2024-04-07 07:30:52
theorem-proving lean formal-methods formal-mathematics proof-automation
精益Mathlib 是的用户维护库。它包含编程基础结构和数学，以及使用前者并允许开发后者的策略。 安装 您可以在上找到安装Lean，Mathlib和支持工具的详细说明。 实验中 一切都安装好了吗？为什么不从开始呢？ 有关更多指针，请参阅。 文献资料 除了上面的安装指南和，mathlib的文档还包括： ：从源.lean文件文档。除了为库中每个文件生成的页面外，文档还包括以下页面： ， ，和 。 描述，以及对数学家的。 几个 一些不是特定于Mathlib的（请参阅“其他主题”） 想要人的文档 关于mathlib的许多讨论都发生在。由于此聊天室仅对注册用户可见，因此我们提供了讨论的。这对于快速参考很有用；为了获得更好的浏览界面并参与讨论，我们强烈建议您加入聊天。欢迎来自各个专业水平的用户提出的问题。 维护者： 杰里米·阿维加德（@avigad）：分析 Anne Baanen（@Vierka