Skip to content
@aya-prover

The Aya Theorem Prover

Pinned Loading

  1. aya-dev aya-dev Public

    A proof assistant and a dependently-typed language

    Java 291 19

  2. intellij-aya intellij-aya Public

    ~ Intellij Platform plugin for Aya Prover

    Java 8 1

  3. aya-vscode aya-vscode Public

    ~ VSCode extension for Aya Prover

    TypeScript 7 2

  4. setup-aya setup-aya Public

    Set up Aya in your GitHub Actions workflow.

    TypeScript

Repositories

Showing 10 of 15 repositories
  • aya-dev Public

    A proof assistant and a dependently-typed language

    aya-prover/aya-dev’s past year of commit activity
    Java 291 MIT 19 47 (1 issue needs help) 2 Updated Dec 24, 2024
  • PLCT-Weekly Public Forked from plctlab/PLCT-Weekly

    软件所PLCT实验室在开源领域的不定期简报

    aya-prover/PLCT-Weekly’s past year of commit activity
    HTML 0 CC-BY-SA-4.0 110 0 0 Updated Dec 23, 2024
  • aya-prover.github.io Public

    https://www.aya-prover.org

    aya-prover/aya-prover.github.io’s past year of commit activity
    HTML 2 0 0 0 Updated Dec 22, 2024
  • aya-prover-docs Public

    The documentation site of the Aya prover.

    aya-prover/aya-prover-docs’s past year of commit activity
    TypeScript 0 5 2 2 Updated Dec 22, 2024
  • intellij-aya Public

    ~ Intellij Platform plugin for Aya Prover

    aya-prover/intellij-aya’s past year of commit activity
    Java 8 Apache-2.0 1 9 0 Updated Dec 18, 2024
  • project-generator Public

    Generates a project with Aya infrastructure and Grammar-Kit parsing setup.

    aya-prover/project-generator’s past year of commit activity
    Java 5 1 0 0 Updated Jun 29, 2024
  • kala-inspections Public

    Kala inspections

    aya-prover/kala-inspections’s past year of commit activity
    Kotlin 7 MIT 2 0 0 Updated Jun 27, 2024
  • aya-vscode Public

    ~ VSCode extension for Aya Prover

    aya-prover/aya-vscode’s past year of commit activity
    TypeScript 7 GPL-3.0 2 3 0 Updated May 31, 2024
  • aya-tmbundle Public

    For GitHub linguist's syntax highlighting

    aya-prover/aya-tmbundle’s past year of commit activity
    Python 1 MIT 0 0 0 Updated May 31, 2024
  • locally-nameless-aya-draft Public archive

    Tmp

    aya-prover/locally-nameless-aya-draft’s past year of commit activity
    Java 3 MIT 0 0 0 Updated May 27, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…