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.