Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.20809 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929562922778624 |
|---|---|
| author | Kai, Toshiki Teruya, Yuta Nakasho, Kazuhisa |
| author_facet | Kai, Toshiki Teruya, Yuta Nakasho, Kazuhisa |
| contents | 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). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_20809 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Remote Verification System for Mizar Integrated with Emwiki Kai, Toshiki Teruya, Yuta Nakasho, Kazuhisa Software Engineering 68V05, 68V15, 68V20, 68V30, 68V35 G.4 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). |
| title | Remote Verification System for Mizar Integrated with Emwiki |
| topic | Software Engineering 68V05, 68V15, 68V20, 68V30, 68V35 G.4 |
| url | https://arxiv.org/abs/2410.20809 |