/aya-dev

The Aya Proof Assistant (WIP)

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

actions gitter codecov

You need Java 16 to setup this project.

# create a runnable jar at the root directory of the repo
./gradlew copyJarHere
# run tests and generate coverage report
./gradlew mergeJacocoReports
  • Ask @ice1000 to get access to the development repository.
    • Do not create pull requests directly. Ask before doing anything.
  • Questions opened as issues will be answered.
  • Aya is under active development. Nothing guaranteed.