The Aya proof assistant
Version0.29.4compared with

Version Details

Compile Changes (2)

0.29.3 0.29.4
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.29.30.29.4
~ Updated org.aya-prover » parser0.29.30.29.4