Releases: aya-prover/aya-dev
Releases · aya-prover/aya-dev
2025/02/20-15:24 nightly build
These are latest builds, but the date on GitHub is frozen due to stupid limitations.
Corresponding commit: e384ca2
These are latest builds, but the date on GitHub is frozen due to stupid limitations.
Corresponding commit: e384ca2