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…