The Aya proof assistant
Version0.26compared with

Version Details

Compile Changes (1)

0.25 0.26
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover.upstream » ij-parsing-core0.0.90.0.10