Getting Started

Welcome to the Getting Started section of the Arend Manual. The aim of this section is to help you to begin working with Arend:

Arend is available either as an IntelliJ IDEA plugin (see IntelliJ Arend for the installation instructions) or as a console application (see Console Application for the installation instructions).

There are the following subsections:

• Arend features: An overview of the language’s key features.
• Download Arend: Instructions to download the Arend plugin and its standard library (arend-lib).
• Creating first project: Steps to set up and start a new Arend project.
• Arend libraries: An explanation of what Arend libraries are and how to use them.
• Short tutorial: A quick guide, with videos, on proving a simple statement in Arend. This section provides a practical starting point for learning Arend.