This paper reports on the development of a Web platform to host the Mizar Mathematical Library (MML). In recent years, the size of formalized mathematical libraries has been drastically increasing, and this has led to a growing demand for tools that support efficient and comprehensive browsing, searching, and annotation of these libraries. This platform implements a Wiki function to add comments to the HTMLized MML, three types of search function (article, symbol, and theorem), and a function to show the dependency graph of the MML. This platform is designed with consistency, scalability, and interoperability as top priorities for long-term use.

翻译：本文报告了开发一个网络平台以主办Mizar数学图书馆(MML)的情况。近年来,正式的数学图书馆的规模急剧扩大,这导致对这些图书馆支持高效和全面浏览、搜索和批注的工具的需求增加。这个平台使用维基功能,对HTML MML、三种搜索功能(文章、符号和理论)增加评论,并显示MMML的依附图。这个平台的设计具有一致性、可扩缩性和互操作性,是长期使用的最高优先事项。