当前位置:
X-MOL 学术
›
arXiv.cs.MS
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Maintaining a Library of Formal Mathematics
arXiv - CS - Mathematical Software Pub Date : 2020-04-07 , DOI: arxiv-2004.03673 Floris van Doorn, Gabriel Ebner, and Robert Y. Lewis
arXiv - CS - Mathematical Software Pub Date : 2020-04-07 , DOI: arxiv-2004.03673 Floris van Doorn, Gabriel Ebner, and Robert Y. Lewis
The Lean mathematical library mathlib is developed by a community of users
with very different backgrounds and levels of experience. To lower the barrier
of entry for contributors and to lessen the burden of reviewing contributions,
we have developed a number of tools for the library which check proof
developments for subtle mistakes in the code and generate documentation suited
for our varied audience.
中文翻译:
维护正式数学库
精益数学库 mathlib 是由具有不同背景和经验水平的用户社区开发的。为了降低贡献者的进入门槛并减轻审查贡献的负担,我们为库开发了许多工具,用于检查代码中细微错误的证明开发,并生成适合我们不同受众的文档。
更新日期:2020-07-28
中文翻译:
维护正式数学库
精益数学库 mathlib 是由具有不同背景和经验水平的用户社区开发的。为了降低贡献者的进入门槛并减轻审查贡献的负担,我们为库开发了许多工具,用于检查代码中细微错误的证明开发,并生成适合我们不同受众的文档。