The Aya proof assistant

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


Compile Dependencies (1)

Category/License Group / ArtifactVersionUpdates

MIT
org.aya-prover » cli-impl 0.33.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