ice1000 / arend-language-server

A language server protocol implementation for Arend

Arend Language Server

A language server implementation for Arend, build on top of lsp4j.

This project is still experimental, use at your own risk.

This repository is only intended to store the source code of the language server implementation. The list of features and the changelog is included as a part of vscode-arend's, and user guides are scattered in the front-ends' README.

Build

$ git clone https://github.com/JetBrains/Arend
$ git clone https://github.com/ice1000/arend-language-server
$ cd arend-language-server
$ ./gradlew copyJarDep

On Windows you may replace ./gradlew with gradlew.

Front-Ends

• vscode-arend