Documentation

• 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.

Forums

• Google Groups
• Telegram
• Gitter
• Zulip

We welcome questions about the Arend language, the IntelliJ Arend plugin, the libraries and this website there.

Videos

• Introductory talk about the Arend language, which covers basic language and IDE features.