2 papers
cs.PL2022
An Integrated Web Platform for the Mizar Mathematical Library
Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka +2
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 drasti…
cs.MS2015
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
Kazuhisa Nakasho, Yasunari Shidama
The purpose of this project is to collect symbol information in the Mizar Mathematical Library and manipulate it into practical and organized documentation. Inspired by the MathWik…