Skip to content

JetBrains/intellij-arend

Folders and files

NameName
Last commit message
Last commit date

Latest commit

301a524 · Jun 17, 2024
Aug 29, 2023
Jan 21, 2024
Jun 17, 2024
Jul 18, 2020
Oct 2, 2020
Oct 19, 2021
Apr 17, 2024
Dec 4, 2022
Jan 21, 2024
Jan 21, 2024
Mar 12, 2020

Repository files navigation

Arend plugin for IntelliJ IDEA

JetBrains incubator project Actions Status Downloads Version

Plugin that implements Arend support in IntelliJ IDEA and other IntelliJ-based products. Arend is a theorem prover based on Homotopy Type Theory. Visit arend-lang.github.io for more information about the Arend language.

Clone

git clone https://github.com/JetBrains/Arend
git clone https://github.com/JetBrains/intellij-arend.git
cd intellij-arend

Building

We use gradle to build the plugin. It comes with a wrapper script (gradlew or gradlew.bat in the root of the repository) which downloads appropriate version of gradle automatically as long as you have JDK (version >= 11) installed.

Common tasks are

  • ./gradlew buildPlugin — fully build plugin and create an archive at build/distributions which can be installed into IntelliJ IDEA via Install plugin from disk action found in File | Settings | Plugins.

  • ./gradlew runIde — run a development IDE with the plugin installed.

  • ./gradlew test — run all tests.

Developing

You can get the latest IntelliJ IDEA Community Edition here.

To import this project in IntelliJ, use File | New | Project from Existing Sources and select the root directory of the plugin source code.

When hacking on the plugin, you may need the following plugins -

  • Grammar-Kit - BNF Grammars and JFlex lexers editor. Readable parser/PSI code generator.
  • PsiViewer - A Program Structure Interface (PSI) tree viewer.