We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A proof assistant
Java 251 16
~ Intellij Platform plugin for Aya Prover
Java 8 1
~ VSCode extension for Aya Prover
TypeScript 6 2
Set up Aya in your GitHub Actions workflow.
TypeScript
The documentation site of the Aya prover.
For GitHub linguist's syntax highlighting
Tmp
https://www.aya-prover.org
Kala inspections
Generates a project with Aya infrastructure and Grammar-Kit parsing setup.
Second version
Loading…