An Integrated Web Platform for the Mizar Mathematical Library

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, sear...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2022-09
Main Authors: Furushima, Hideharu, Yamamichi, Daichi, Shigenaka, Seigo, Nakasho, Kazuhisa, Wasaki, Katsumi
Format: Article
Language:English
Subjects:
Annotations
Libraries
Mathematical analysis
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422