A proof assistant and a dependently-typed language
-
Updated
Sep 26, 2026 - Java
#
aya
Here are 2 public repositories matching this topic...
~ Intellij Platform plugin for Aya Prover
-
Updated
Feb 13, 2026 - Java
Add this topic to your repo
To associate your repository with the aya topic, visit your repo's landing page and select "manage topics."