Home » org.aya-prover » parser » Versions

Parser

The Aya proof assistant
Version ▼VulnerabilitiesRepositoryUsagesDate
0.40.x
0.40.0Central
2
Nov 18, 2025
0.39.x
0.39.0Central
2
Oct 19, 2025
0.38.x
0.38.0Central
2
Apr 20, 2025
0.37.x
0.37.0Central
2
Jan 28, 2025
0.36.x
0.36.0Central
2
Dec 18, 2024
0.35.x
0.35.0Central
2
Dec 08, 2024
0.34.x
0.34.0Central
2
Nov 18, 2024
0.33.x
0.33.0Central
2
Jun 09, 2024
0.32.x
0.32.0Central
2
Jun 03, 2024
0.31.x
0.31.0Central
2
May 30, 2024
0.30.x
0.30.0Central
1
Jan 04, 2024
0.29.x
0.29.999Central
1
Dec 13, 2023
0.29.4Central
1
Dec 13, 2023
0.29.3Central
1
Dec 02, 2023
0.29.2Central
1
Nov 08, 2023
0.29.1Central
1
Jun 01, 2023
0.29Central
1
May 06, 2023
0.28.x
0.28Central
1
Mar 02, 2023
0.27.x
0.27Central
1
Jan 14, 2023
0.26.x
0.26Central
1
Jan 08, 2023
0.25.x
0.25Central
1
Dec 10, 2022
0.24.x
0.24Central
1
Nov 23, 2022
0.23.x
0.23Central
1
Nov 11, 2022
0.22.x
0.22Central
1
Oct 16, 2022
0.21.x
0.21Central
1
Sep 26, 2022
0.20.x
0.20Central
1
Sep 07, 2022
0.19.x
0.19Central
1
Aug 10, 2022
0.18.x
0.18Central
1
May 11, 2022
0.17.x
0.17Central
1
Apr 09, 2022
0.16.x
0.16Central
1
Mar 26, 2022
0.15.x
0.15Central
1
Jan 11, 2022
0.14.x
0.14Central
1
Dec 06, 2021
0.13.x
0.13Central
1
Nov 20, 2021
0.12.x
0.12Central
1
Nov 13, 2021
0.11.x
0.11Central
2
Nov 03, 2021
0.10.x
0.10Central
2
Oct 17, 2021
0.9.x
0.9Central
2
Sep 28, 2021
0.8.x
0.8.3Central
2
Sep 15, 2021
0.8.2Central
1
Aug 15, 2021
0.8.1Central
1
Aug 06, 2021