Dear Mizar Users,
I would like to inform you of a new Mizar extension for Visual Studio Code. It has been developed by Taniguchi-san, who is a bachelor student in my laboratory. Currently, the first version was released and is available on the Visual Studio Marketplace.
We are really happy if you could try it and give us your feedback on product usage. Any advice, new ideas, bug reports or enhancement requests are welcome. Your feedback will greatly help him write his graduation thesis, which is going to be submitted in two months. I would also like to mention that he plans to go to graduate school and continue this development for at least two more years.
[Features]
- Syntax highlight
- Auto indent
- Run verification and other refinement tools
[Prerequisites]
1. Install the Mizar system. Be sure to edit environment variables, PATH and MIZFILES, appropriately.
2. Install VSCode. (See
https://code.visualstudio.com)
[Installation]
On VSCode,
3. Click extension icon (Shortcut key: Ctrl+Shift+X) and type "Mizar".
4. Select the Mizar extension and install it.
(For more information, see
https://code.visualstudio.com/docs/editor/extension-gallery)
[Usage]
1. Open command palette (Shortcut key: Ctrl+Shift+P)
2. Type one of the following commands:
- mizar-verify
- mizar-verify2
- mizar-irrths
- mizar-reliters
- mizar-relinfer
- mizar-relprem
- mizar-inacc
- mizar-trivdemo
- mizar-irrvoc
[Test]
We have only tested it on Windows 10 yet.