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