TY  - RPRT
TI  - An Integrated Web Platform for the Mizar Mathematical Library
AU  - Hideharu Furushima
AU  - Daichi Yamamichi
AU  - Seigo Shigenaka
AU  - Kazuhisa Nakasho
AU  - Katsumi Wasaki
PY  - 2022
UR  - https://arxiv.org/abs/2210.02336
ID  - 2210.02336
ER  -