Remote Verification System for Mizar Integrated with Emwiki

Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho

In this paper, we present a remote verification environment for Mizar and its integration with a web platform. Although a VSCode extension for Mizar is already available, it requir…