<dependency>
    <groupId>org.aya-prover</groupId>
    <artifactId>parser</artifactId>
    <version>0.9</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("org.aya-prover:parser:0.9")

Scope:

Include backlinks

libraryDependencies += "org.aya-prover" % "parser" % "0.9"

Scope:

Include backlinks

ivy"org.aya-prover:parser:0.9"

Scope:

Include backlinks

<dependency org="org.aya-prover" name="parser" rev="0.9"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='org.aya-prover', module='parser', version='0.9')
)

Scope:

Include backlinks

[org.aya-prover/parser "0.9"]

Scope:

Include backlinks

'org.aya-prover:parser:jar:0.9'

Licenses

License

URL

GPL-3.0

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

Developers

Name Email Dev Id Roles Organization

Tesla Ice Zhang ice1000kotlin<at>foxmail.com ice1000

Kiva Oyama imkiva<at>islovely.icu imkiva

Xy Ren xy.r<at>outlook.com re-xyr

Current Group

Categories (289)

Parser » 0.9

Licenses

Developers

Indexed Repositories (3780)

Popular Tags

About