| License | MIT |
|---|---|
| HomePage | https://www.aya-prover.org |
| Ranking | #742238 in MvnRepository (See Top Artifacts) |
| Version | Vulnerabilities | Repository | Usages | Date |
|---|---|---|---|---|
| 0.27 | Central |
0
| Jan 14, 2023 | |
| 0.26 | Central |
0
| Jan 08, 2023 | |
| 0.25 | Central |
0
| Dec 10, 2022 | |
| 0.24 | Central |
0
| Nov 23, 2022 | |
| 0.23 | Central |
0
| Nov 11, 2022 | |
| 0.22 | Central |
0
| Oct 16, 2022 | |
| 0.21 | Central |
0
| Sep 26, 2022 | |
| 0.20 | Central |
0
| Sep 07, 2022 | |
| 0.19 | Central |
0
| Aug 10, 2022 | |
| 0.18 | Central |
0
| May 11, 2022 | |
| 0.17 | Central |
0
| Apr 09, 2022 | |
| 0.16 | Central |
0
| Mar 26, 2022 | |
| 0.15 | Central |
0
| Jan 11, 2022 | |
| 0.14 | Central |
0
| Dec 06, 2021 | |
| 0.13 | Central |
0
| Nov 20, 2021 | |
| 0.12 | Central |
0
| Nov 13, 2021 |