- For the installation instructions, see Getting Started.
- Language Reference contains a description of the Arend language.
- Tutorial contains a more gentle introduction to the Arend language.
- Libraries describes how to manage Arend libraries.
- Standard Extensions explains the language extensions implemented in the standard library.
- To learn how to write proofs with IntelliJ Arend IDE, see Interactive Theorem Proving with IntelliJ Arend.
We welcome question about the Arend language, the IntelliJ Arend plugin, the libraries and this website there.
- Introductory talk about the Arend language, which covers basic language and IDE features.