The Aya proof assistant

LicenseMIT
Tagscommand-lineconsole
Ranking#355134 in MvnRepository (See Top Artifacts)
Used By1 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
0.33.x
0.33.0CentralJun 09, 2024
0.32.x
0.32.0CentralJun 03, 2024
0.31.x
0.31.0CentralMay 30, 2024
0.30.x
0.30.0CentralJan 04, 2024
0.29.x
0.29.999CentralDec 13, 2023
0.29.4CentralDec 13, 2023
0.29.3CentralDec 02, 2023
0.29.2CentralNov 08, 2023
0.29.1CentralJun 01, 2023
0.29CentralMay 06, 2023
0.28.x
0.28CentralMar 02, 2023