Metamath Zero

This extension provides support for the verification and specification language Metamath Zero. Syntax highlighting is available out of the box, and if mm0-rs is installed, it will use the mm0-rs server LSP server to provide additional features.

Installation

The extension is available on the VSCode marketplace, under the code digama0.metamath-zero.

To install from source, run npm install and then npm run compile from the vscode-mm0 directory, then copy or symlink the directory to ~/.vscode/extensions/vscode-mm0/.

Requirements

Requires mm0-rs or alternatively mm0-hs. mm0-rs can be built using

cargo build --release

producing an executable in target/release/mm0-rs that can be symlinked or copied to your PATH.

mm0-hs can be built and installed using:

stack build mm0-hs
stack install

Release Notes

1.0.0

Initial release