<dependency>
    <groupId>org.aya-prover</groupId>
    <artifactId>cli-impl</artifactId>
    <version>0.34.0</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("org.aya-prover:cli-impl:0.34.0")

Scope:

Include backlinks

libraryDependencies += "org.aya-prover" % "cli-impl" % "0.34.0"

Scope:

Include backlinks

ivy"org.aya-prover:cli-impl:0.34.0"

Scope:

Include backlinks

<dependency org="org.aya-prover" name="cli-impl" rev="0.34.0"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='org.aya-prover', module='cli-impl', version='0.34.0')
)

Scope:

Include backlinks

[org.aya-prover/cli-impl "0.34.0"]

Scope:

Include backlinks

'org.aya-prover:cli-impl:jar:0.34.0'

Licenses

License

URL

MIT

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

Developers

Name Email 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

Current Group

Categories (289)

CLI Impl » 0.34.0

Licenses

Developers

Indexed Repositories (3772)

Popular Tags

About