Remote Verification System for Mizar Integrated with Emwiki. - Toshiki Kai; Yuta Teruya; Kazuhisa Nakasho (CICM, 2024)