arend-contrib
A community driven, semi-official, semi-standard library for Arend.
For contribution guidelines, see CONTRIBUTING.md.
Build
Clone the repo, build the gradle project under meta directory,
and you're good to go.
git clone https://github.com/arend-lang/arend-contrib.git
cd meta
./gradlew classes
cd ..Use intellij-arend on intellij-community. They're free.