Mizar的Wiki：动机、考虑因素和初始原型
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
摘要：
到目前为止，形式数学还没有充分利用维基和分布式版本控制系统（DVCS）等协作工具的思想。我们认为，该领域可以从这些工具中获益，为新手和专家提供服务。我们描述了一个初步的系统，这种协同开发的基础上的Git DVCS。我们的重点，首先，在开光系统和它的正式数学库。
英文摘要：
Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We describe a preliminary system for such collaborative development based on the Git DVCS. We focus, initially, on the Mizar system and its library of formalized mathematics.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
