MML

授权MIZAR数学库(MML)。MIZAR数学图书馆(MML)是形式化的数学知识的大语料库。许多作者和维护者已经在多年的过程中建造了它。然而,米扎尔社区的这些努力的法律地位从未得到澄清。2010,经过多年的松散审议,社区决定调查许可的内容MML,从而澄清和结晶的状态的文本,文本的作者,以及图书馆的长期维护者。社区已经制定了符合MIZAR及其社区特色的版权和许可政策。在本文中,我们讨论的版权和许可证解决方案。我们提供我们的经验,希望其他图书馆的形式化的数学知识可能会占用我们为Mizar解决的法律和科学问题。