Arend is a theorem prover based on Homotopy Type Theory. Visit arend-lang.github.io for more information about the Arend language.
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 installed.
Common tasks are
-
./gradlew jarDep
— build a jar file which includes all the dependecies which can be found atbuild/libs
. To see the command line options of the application, runjava -jar arend.jar --help
. -
./gradlew test
— run all tests.