Mizar extension

• Visual Studio Code Extension for Mizar

Note

• This extension has been tested on Windows only.

Demo

Command execution

Syntax highlight & Auto indent

Hover information

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

• Auto completion

Installation

1. Open VSCode and type "Ctrl+Shift+X".
2. 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

• Clone this repositry

  git clone https://github.com/mimosa-project/emvscode
  

• Change the current directory to emvscode directory

  cd emvscode
  

• Run "npm install"

  npm install
  

• Open VSCode and press F5
  • This will compile and run the extension in a new Extension Development Host window
• reference
  • https://code.visualstudio.com/api/get-started/your-first-extension

Running the tests

• Select "Extension Tests" and run.
• 

Author

• Hiroto Taniguchi

License

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