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