The Aya Theorem Prover

The Aya Theorem Prover's repositories

A proof assistant and a dependently-typed language

Language:JavaMIT255 9 358

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

Language:JavaGPL-3.011 12 303

~ Intellij Platform plugin for Aya Prover

Language:JavaApache-2.08 6 11

Kala inspections

Language:KotlinMIT7 20

~ VSCode extension for Aya Prover

Language:TypeScriptGPL-3.06 8 13

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

Language:Java5 20

😶‍🌫️tt/a less cool version of cooltt

Language:JavaGPL-3.04 6 2

Second version

Language:JavaMIT200

https://www.aya-prover.org

Language:HTML2 50

Tmp

Language:JavaMIT200

For GitHub linguist's syntax highlighting

Language:PythonMIT1 5 2

The documentation site of the Aya prover.

Language:TypeScript02 4

Java library for parsing and rendering CommonMark (Markdown)

Language:JavaBSD-2-Clause010

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

Language:HTMLCC-BY-SA-4.0020

Set up Aya in your GitHub Actions workflow.

Language:TypeScriptMIT020