Mizar extension
- Visual Studio Code Extension for Mizar
Note
- This extension has been tested on Windows only.
Demo
Command execution

Syntax highlight & Auto indent


Features
Implemented
- Mizar commands
- Mizar Compile
- Irrelevant Theorems
- Irrelevant Iterative Steps
- Irrelevant Inferences
- Irrelevant Premises
- Inaccessible Items
- Trivial Proofs
- Irrelevant Vocabularie
- Irrelevant Label
- Syntax highlight
- Auto indent
- Hover information
- Go to definition
Under development
Installation
- Open VSCode and type "Ctrl+Shift+X".
- Type "mizar" in the search box and click to install.
Usage
- Command Execution
- Type "Ctrl+Shift+P" (or click title bar icon) and choose a command.
Development
Running the tests
- Select "Extension Tests" and run.

Author
License
This project is licensed under the MIT License - see the LICENSE file for details.
| |