The Aya proof assistant
Version0.36.0compared with

Version Details

Compile Changes (2)

0.35.0 0.36.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » base0.35.00.36.0
~ Updated org.aya-prover » parser0.35.00.36.0

Runtime Changes (3)

0.35.0 0.36.0
ChangeGroup / ArtifactPreviousCurrent
~ Updated org.aya-prover » jit-compiler0.35.00.36.0
~ Updated org.aya-prover » producer0.35.00.36.0
- Removed org.commonmark » commonmark0.24.0-