A Web Platform for Hosting the Mizar Mathematical Library (short paper). - Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki (CICM Workshops, 2021)

An Integrated Web Platform for the Mizar Mathematical Library. - Hideharu Furushima; Daichi Yamamichi; Seigo Shigenaka; Kazuhisa Nakasho; Katsumi Wasaki (CICM, 2022)