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.