1 paper
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…