MVN

org.aya-prover : cli-impl

Maven & Gradle

May 31, 2023

281 stars

cli-impl · The Aya proof assistant

Homepage Maven Central

<!-- https://mavenlibs.com/maven/dependency/org.aya-prover/cli-impl --><dependency>
    <groupId>org.aya-prover</groupId>
    <artifactId>cli-impl</artifactId>
    <version>0.29.1</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.aya-prover/cli-implimplementation group: 'org.aya-prover', name: 'cli-impl', version: '0.29.1'

// https://mavenlibs.com/maven/dependency/org.aya-prover/cli-implimplementation 'org.aya-prover:cli-impl:0.29.1'

// https://mavenlibs.com/maven/dependency/org.aya-prover/cli-implimplementation("org.aya-prover:cli-impl:0.29.1")

// https://mavenlibs.com/maven/dependency/org.aya-prover/cli-impllibraryDependencies += "org.aya-prover" % "cli-impl" % "0.29.1"

<!-- https://mavenlibs.com/maven/dependency/org.aya-prover/cli-impl --><dependency org="org.aya-prover" name="cli-impl" rev="0.29.1"/>

// https://mavenlibs.com/maven/dependency/org.aya-prover/cli-impl@Grapes(
    @Grab(group='org.aya-prover', module='cli-impl', version='0.29.1')
)

;; https://mavenlibs.com/maven/dependency/org.aya-prover/cli-impl[org.aya-prover/cli-impl "0.29.1"]

# https://mavenlibs.com/maven/dependency/org.aya-prover/cli-impl'org.aya-prover:cli-impl:jar:0.29.1'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of org.aya-prover : cli-impl to add to Maven or Gradle - Latest Versions:

Latest Stable: 0.29.1

All Versions

Choose a version of org.aya-prover : cli-impl to add to Maven or Gradle - All Versions:

Version	Vulnerabilities
0.29.x	cli-impl-0.29.1	May 31, 2023
0.29	cli-impl-0.29	May 06, 2023
0.28	cli-impl-0.28	Mar 02, 2023

Version

Vulnerabilities

Updated

0.29.x

cli-impl-0.29.1

May 31, 2023

0.29

cli-impl-0.29

May 06, 2023

0.28

cli-impl-0.28

Mar 02, 2023

How to add a dependency to Maven

Add the following org.aya-prover : cli-impl maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.aya-prover</groupId>
    <artifactId>cli-impl</artifactId>
    <version>0.29.1</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.aya-prover : cli-impl gradle dependency to your build.gradle file:

implementation 'org.aya-prover:cli-impl:0.29.1'

Gradle Kotlin DSL: Add the following org.aya-prover : cli-impl gradle kotlin dependency to your build.gradle.kts file:

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

How to add a dependency to SBT Scala

SBT Scala: Add the following org.aya-prover : cli-impl sbt scala dependency to your build.sbt file:

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

Dependencies from Group

pretty

@org.aya-prover

May 31, 2023

6 usages

281 stars

commonmark

@org.aya-prover

Dec 09, 2022

6 usages

0 stars

tools

@org.aya-prover

May 31, 2023

4 usages

281 stars

parser

@org.aya-prover

May 31, 2023

2 usages

281 stars

tools-repl

@org.aya-prover

May 31, 2023

2 usages

281 stars

More Dependencies ❯

Discover Dependencies

ide-lsp

@org.aya-prover

May 31, 2023

281 stars

kang-lowCode-spring-boot

@io.github.fawu-k

Mar 29, 2023

2 stars

org.apache.commons.compress

@com.clickhouse

Aug 03, 2023

1.4k stars

test-common-carbonv3-tests-scala-1.15_2.13

@com.daml

Aug 25, 2023

801 stars

neotype-zio-json_3

@io.github.kitlangton

May 16, 2023

168 stars

neotype-zio-quill_3

@io.github.kitlangton

May 16, 2023

168 stars

neotype_3

@io.github.kitlangton

May 16, 2023

168 stars

zio-process-docs_2.12

@dev.zio

Mar 02, 2023

64 stars

zio-process-docs_2.13

@dev.zio

Mar 02, 2023

64 stars

zio-process-docs_3

@dev.zio

Mar 02, 2023

64 stars

More Dependencies ❯