| License | MIT |
|---|---|
| Tags | command-lineconsole |
| HomePage | https://www.aya-prover.org |
| Date | May 30, 2024 |
| Files | pom (3 KB) jar (63 KB) View All |
| Repositories | CentralXillio |
| Ranking | #338824 in MvnRepository (See Top Artifacts) |
| Used By | 1 artifacts |
Compile Dependencies (2)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
MIT |  | org.aya-prover » tools-repl | 0.31.0 | 0.33.0 |
MIT | | org.aya-prover » cli-impl | 0.31.0 | 0.33.0 |
Runtime Dependencies (4)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
| CLI Parser Apache 2.0 |  | info.picocli » picocli | 4.7.6 | ✔ |
MIT | | org.aya-prover » producer | 0.31.0 | 0.33.0 |
BSD 3-clause |  | org.jline » jline-terminal-jni | 3.26.1 | 3.26.3 |
BSD 3-clause | | org.jline » jline-builtins | 3.26.1 | 3.26.3 |
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 |