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

CLI Impl » 0.30.0

The Aya proof assistant
Version0.30.0compared with

Version Details

0.29.999 0.30.0
Release dateDec 13, 2023Jan 04, 2024
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.29.999 0.30.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.29.9990.30.0
~ Updated org.aya-prover » parser0.29.9990.30.0