Remote Verification System for Mizar Integrated with Emwiki
Toshiki Kai, Yuta Teruya, Kazuhisa Nakasho

TL;DR
This paper introduces a remote verification system for Mizar that runs on a server, integrated with a web platform, enabling users to verify Mizar proofs without local installation and browse the Mizar Mathematical Library online.
Contribution
The paper presents a novel server-based verification environment for Mizar and its integration with a web platform, enhancing accessibility and usability compared to existing local tools.
Findings
Implementation of remote verification environment for Mizar
Integration with emwiki web platform for browsing MML
Elimination of local installation requirements
Abstract
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 requires installing the Mizar verification tools locally. Our newly developed system implements these verification environments on a server, eliminating this requirement. First, we explain the implementation of the remote verification environment for Mizar and the VSCode for the Web extension. Second, we discuss the integration with the web platform emwiki, which allows browsing the existing Mizar Mathematical Library (MML).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Computational Techniques and Applications · Advanced Sensor and Control Systems
