The Aya proof assistant

LicenseMIT
Tagscommand-line
Ranking#149626 in MvnRepository (See Top Artifacts)
Used By2 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
0.27CentralJan 14, 2023
0.26CentralJan 08, 2023
0.25CentralDec 10, 2022
0.24CentralNov 23, 2022
0.23CentralNov 11, 2022
0.22CentralOct 16, 2022
0.21CentralSep 26, 2022
0.20CentralSep 07, 2022
0.19CentralAug 10, 2022
0.18CentralMay 11, 2022
0.17CentralApr 09, 2022
0.16CentralMar 26, 2022
0.15CentralJan 11, 2022
0.14CentralDec 06, 2021
0.13CentralNov 20, 2021
0.12CentralNov 13, 2021
0.11Central
0
Nov 03, 2021
0.10Central
0
Oct 17, 2021
0.9Central
0
Sep 28, 2021
0.8.3Central
0
Sep 15, 2021