Home » org.aya-prover » parser » 0.28 » Changes

Parser » 0.28

The Aya proof assistant
Version0.28compared with

Version Details

0.27 0.28
Release dateJan 14, 2023Mar 02, 2023
LicensesMITMIT
VulnerabilitiesNoneNone

Compile Changes (1)

0.27 0.28
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover.upstream » ij-parsing-core0.0.100.0.11