arend topic
List
arend repositories
intellij-arend
84
Stars
13
Forks
Watchers
Arend plugin for IntelliJ IDEA
tutorial-code
21
Stars
10
Forks
Watchers
Source code & exercises in Arend's documentation