18

GitHub - JetBrains/Arend

 5 years ago
source link: https://github.com/JetBrains/Arend
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

README.md

Arend proof assistant

JetBrains incubator project

Arend is a theorem prover based on Homotopy Type Theory. See the documentation for more information about the Arend language.

Building

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 at build/libs. To see the command line options of the application, run java -jar arend.jar --help.

  • ./gradlew test — run all tests.


report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK