Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Mizar extensionNew to Visual Studio Code? Get it now.

Mizar extension

fpsbpkm

|
303 installs
| (0) | Free
An extension for VS Code which provides support for the Mizar language.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Mizar extension

  • Visual Studio Code Extension for Mizar

Note

  • This extension has been tested on Windows only.

Demo

Command execution

demo

Syntax highlight & Auto indent

auto_indent

Hover information

demo2

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.
  • running-tests

Author

  • Hiroto Taniguchi

License

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

  • Contact us
  • Jobs
  • Privacy
  • Terms of use
  • Trademarks
© 2023 Microsoft