  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.
