The Aya proof assistant

LicenseMIT
Tagstools
HomePage https://www.aya-prover.org
DateJun 09, 2024
Filespom (2 KB)  jar (54 KB)  View All
RepositoriesCentral
Ranking#53978 in MvnRepository (See Top Artifacts)
Used By8 artifacts


Compile Dependencies (3)

Category/License Group / ArtifactVersionUpdates

MIT
org.aya-prover » pretty 0.33.0

Apache 2.0
org.glavo.kala » kala-collection 0.74.00.75.0
Defect Detection
Apache 2.0
org.jetbrains » annotations 24.1.026.0.1

Runtime Dependencies (1)

Category/License Group / ArtifactVersionUpdates

Apache 2.0
org.aya-prover.upstream » ij-util-text 0.0.250.0.28

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