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

Arend

Preview

Tesla Zhang

|
185 installs
| (1) | Free
Arend language support for VSCode
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Arend for VSCode

Version Rating Downloads Installs

This is a non-official VSCode extension for the Arend proof assistant, powered by arend-language-server. As the only official editor is IntelliJ IDEA, it's difficult when we want to enjoy the sweet startup speed of VSCode.

So, I made this for fun. Syntax highlighting files are taken from arend-tmbundle, and the Arend compiler bundled in this plugin uses the latest dev version of Arend. If you want the stable version, you may wanna build it and specify the VSCode setting arend.languageServer.path to your own jar.

Setup

You need a java (version >= 17) installation, which the plugin will try to find in by (in order):

  • VSCode configuration java.home
  • Environment variable JAVA_HOME
  • Environment variable PATH

If something doesn't work, try removing the configuration arend.languageServer.path in your settings. By doing this, you're enabling the bundled language server.

Features

  • Goto definition
  • Show errors and popup on hover

Help wanted

This project needs your help! If you've found some features missing in the extension, feel free to file an issue too. If you'd like to create a pull request that implements what you wanted, that's even better!

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