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

CLI Impl » 0.29.1

The Aya proof assistant
Version0.29.1compared with

Version Details

0.29 0.29.1
Release dateMay 06, 2023Jun 01, 2023
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (2)

0.29 0.29.1
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.290.29.1
~ Updated org.aya-prover » parser0.290.29.1