Arend for VSCode
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
You need a java (version >= 17) installation, which the plugin will try to find in by (in order):
If something doesn't work, try removing the configuration
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!