The Arend Proof Assistant
Arend plugin for IntelliJ IDEA
Source code & exercises in Arend's documentation
