The Aya Theorem Prover's repositories
aya-prover-proto
┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛
intellij-aya
~ Intellij Platform plugin for Aya Prover
aya-vscode
~ VSCode extension for Aya Prover
kala-inspections
Kala inspections
project-generator
Generates a project with Aya infrastructure and Grammar-Kit parsing setup.
aya-prover-proto2
Second version
aya-prover.github.io
https://www.aya-prover.org
aya-tmbundle
For GitHub linguist's syntax highlighting
aya-prover-docs
The documentation site of the Aya prover.
commonmark-java
Java library for parsing and rendering CommonMark (Markdown)
PLCT-Weekly
软件所PLCT实验室在开源领域的不定期简报