An Integrated Web Platform for the Mizar Mathematical Library
Programming Languages
2022-10-06 v1
Abstract
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.
Cite
@article{arxiv.2210.02336,
title = {An Integrated Web Platform for the Mizar Mathematical Library},
author = {Hideharu Furushima and Daichi Yamamichi and Seigo Shigenaka and Kazuhisa Nakasho and Katsumi Wasaki},
journal= {arXiv preprint arXiv:2210.02336},
year = {2022}
}