License | MIT |
---|---|
Tags | tools |
HomePage | https://www.aya-prover.org |
Date | Jun 09, 2024 |
Files | pom (2 KB) jar (54 KB) View All |
Repositories | Central |
Ranking | #53978 in MvnRepository (See Top Artifacts) |
Used By | 8 artifacts |
Compile Dependencies (3)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
MIT | org.aya-prover » pretty | 0.33.0 | ✔ | |
Apache 2.0 | org.glavo.kala » kala-collection | 0.74.0 | 0.75.0 | |
Defect Detection Apache 2.0 | org.jetbrains » annotations | 24.1.0 | 26.0.1 |
Runtime Dependencies (1)
Category/License | Group / Artifact | Version | Updates | |
---|---|---|---|---|
Apache 2.0 | org.aya-prover.upstream » ij-util-text | 0.0.25 | 0.0.28 |
Licenses
License | URL |
---|---|
MIT | https://github.com/aya-prover/aya-dev/blob/master/LICENSE |
Developers
Name | Dev Id | Roles | Organization | |
---|---|---|---|---|
Tesla (Yinsen) Zhang | ice1000kotlin<at>foxmail.com | ice1000 | ||
Kiva Oyama | imkiva<at>islovely.icu | imkiva | ||
Xy Ren | xy.r<at>outlook.com | re-xyr | ||
Darkflames | dark_flames<at>outlook.com | dark-flames | ||
tsao-chi | tsao-chi<at>the-lingo.org | tsao-chi | ||
Luna Xin | luna.xin<at>outlook.com | lunalunaa | ||
Shuxian Wang | wsx<at>berkeley.edu | wsx | ||
Hoshino Tented | limbolrain<at>gmail.com | HoshinoTented |