Home » org.aya-prover » cli-impl » 0.33.0

CLI Impl » 0.33.0

The Aya proof assistant

LicenseMIT
Tagsimplementationcommand-line
HomePage https://www.aya-prover.org
DateJun 09, 2024
Filespom (3 KB)  jar (155 KB)  View All
RepositoriesCentral
Ranking#175512 in MvnRepository (See Top Artifacts)
Used By2 artifacts


Compile Dependencies (3)

Category/License Group / ArtifactVersionUpdates
JSON Lib
Apache 2.0		com.google.code.gson » gson 2.10.12.11.0

MIT		org.aya-prover » base 0.33.0 ✔

MIT		org.aya-prover » parser 0.33.0 ✔

Runtime Dependencies (3)

Category/License Group / ArtifactVersionUpdates

MIT		org.aya-prover » producer 0.33.0 ✔

MIT		org.aya-prover » jit-compiler 0.33.0 ✔
Markdown
BSD 2-clause		org.commonmark » commonmark 0.22.00.23.0

Licenses

LicenseURL
MIT https://github.com/aya-prover/aya-dev/blob/master/LICENSE

Developers

NameEmailDev IdRolesOrganization
Tesla (Yinsen) Zhangice1000kotlin<at>foxmail.comice1000
Kiva Oyamaimkiva<at>islovely.icuimkiva
Xy Renxy.r<at>outlook.comre-xyr
Darkflamesdark_flames<at>outlook.comdark-flames
tsao-chitsao-chi<at>the-lingo.orgtsao-chi
Luna Xinluna.xin<at>outlook.comlunalunaa
Shuxian Wangwsx<at>berkeley.eduwsx
Hoshino Tentedlimbolrain<at>gmail.comHoshinoTented