TY  - RPRT
TI  - Remote Verification System for Mizar Integrated with Emwiki
AU  - Toshiki Kai
AU  - Yuta Teruya
AU  - Kazuhisa Nakasho
PY  - 2024
UR  - https://arxiv.org/abs/2410.20809
ID  - 2410.20809
ER  -