Documentation

For the installation instructions, see Getting Started. Section Language Reference contains a description of the Arend language. Section Libraries describes how to manage Arend libraries.

Forum

Question about the Arend language and the IntelliJ Arend plugin are welcome here.