Home » org.aya-prover » cli-impl » 0.40.0 » Changes

CLI Impl » 0.40.0

The Aya proof assistant
Version0.40.0compared with

Version Details

0.39.0 0.40.0
Release dateOct 19, 2025Nov 17, 2025
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.39.0 0.40.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.39.00.40.0
~ Updated org.aya-prover » parser0.39.00.40.0

Runtime Changes (2)

0.39.0 0.40.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » jit-compiler0.39.00.40.0
~ Updated org.aya-prover » producer0.39.00.40.0