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

CLI Impl » 0.29

The Aya proof assistant
Version0.29compared with

Version Details

0.28 0.29
Release dateMar 02, 2023May 06, 2023
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.28 0.29
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.280.29
~ Updated org.aya-prover » parser0.280.29