The Aya proof assistant

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


Compile Dependencies (3)

Category/License Group / ArtifactVersionUpdates

MIT
org.aya-prover » tools 0.33.0

BSD 3-clause
org.jline » jline-reader 3.26.13.27.0

BSD 3-clause
org.jline » jline-terminal 3.26.13.27.0

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