Mizar extension
- Visual Studio Code Extension for Mizar
Note
- This extension has been tested on Windows only.
Demo
Command execution
![demo](https://user-images.githubusercontent.com/32231297/92366947-c68bdb00-f130-11ea-8dd0-52ef3641e9cb.gif)
Syntax highlight & Auto indent
![auto_indent](https://user-images.githubusercontent.com/32231297/93070316-af616600-f6b9-11ea-85b5-3deb887da308.gif)
![demo2](https://user-images.githubusercontent.com/32231297/92366998-d6a3ba80-f130-11ea-9f76-8117f82a03ea.gif)
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.
![running-tests](https://user-images.githubusercontent.com/32231297/95474056-a82f2e80-09bf-11eb-9b03-250de546b38a.png)
Author
License
This project is licensed under the MIT License - see the LICENSE file for details.
| |