Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
aya-prover-proto
┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
aya-prover-proto2
Second version
aya-vscode
~ VSCode extension for Aya Prover
intellij-aya
~ Intellij Platform plugin for Aya Prover
kala-inspections
Kala inspections
lamett
😶🌫️tt/a less cool version of cooltt
locally-nameless-aya-draft
Tmp
project-generator
Generates a project with Aya infrastructure and Grammar-Kit parsing setup.
setup-aya
Set up Aya in your GitHub Actions workflow.
The Aya Theorem Prover's Repositories
aya-prover/aya-dev
A proof assistant and a dependently-typed language
aya-prover/aya-prover-proto
┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
aya-prover/intellij-aya
~ Intellij Platform plugin for Aya Prover
aya-prover/aya-vscode
~ VSCode extension for Aya Prover
aya-prover/kala-inspections
Kala inspections
aya-prover/lamett
😶🌫️tt/a less cool version of cooltt
aya-prover/project-generator
Generates a project with Aya infrastructure and Grammar-Kit parsing setup.
aya-prover/locally-nameless-aya-draft
Tmp
aya-prover/aya-prover-proto2
Second version
aya-prover/aya-prover.github.io
https://www.aya-prover.org
aya-prover/aya-tmbundle
For GitHub linguist's syntax highlighting
aya-prover/aya-prover-docs
The documentation site of the Aya prover.
aya-prover/commonmark-java
Java library for parsing and rendering CommonMark (Markdown)
aya-prover/PLCT-Weekly
软件所PLCT实验室在开源领域的不定期简报
aya-prover/setup-aya
Set up Aya in your GitHub Actions workflow.