Home » org.aya-prover » cli-console » Versions

CLI Console

The Aya proof assistant
Version ▼VulnerabilitiesRepositoryUsagesDate
0.40.x
0.40.0Central
1
Nov 17, 2025
0.39.x
0.39.0Central
1
Oct 19, 2025
0.38.x
0.38.0Central
1
Apr 20, 2025
0.37.x
0.37.0Central
1
Jan 28, 2025
0.36.x
0.36.0Central
1
Dec 18, 2024
0.35.x
0.35.0Central
1
Dec 08, 2024
0.34.x
0.34.0Central
1
Nov 18, 2024
0.33.x
0.33.0Central
1
Jun 09, 2024
0.32.x
0.32.0Central
1
Jun 03, 2024
0.31.x
0.31.0Central
1
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