We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A proof assistant and a dependently-typed language
Java 269 16
~ Intellij Platform plugin for Aya Prover
Java 8 1
~ VSCode extension for Aya Prover
TypeScript 7 2
Set up Aya in your GitHub Actions workflow.
TypeScript
Generates a project with Aya infrastructure and Grammar-Kit parsing setup.
Kala inspections
https://www.aya-prover.org
The documentation site of the Aya prover.
软件所PLCT实验室在开源领域的不定期简报
For GitHub linguist's syntax highlighting
Tmp
Loading…