haskell-monad / aya-dev

The Aya Proof Assistant (WIP)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

The Aya Proof Assistant (WIP)

License:GNU General Public License v3.0


Languages

Language:Java 95.7%Language:Kotlin 2.9%Language:ANTLR 1.0%Language:Groovy 0.4%