Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Metamath ZeroNew to Visual Studio Code? Get it now.
Metamath Zero

Metamath Zero

Mario Carneiro

|
322 installs
| (0) | Free
Language support for Metamath Zero
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

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

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft