MVN

org.aya-prover : tools-repl

Maven & Gradle

May 31, 2023

2 usages

281 stars

tools-repl · The Aya proof assistant

Homepage Documentation Readme Maven Central

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

// https://mavenlibs.com/maven/dependency/org.aya-prover/tools-replimplementation group: 'org.aya-prover', name: 'tools-repl', version: '0.29.1'

// https://mavenlibs.com/maven/dependency/org.aya-prover/tools-replimplementation 'org.aya-prover:tools-repl:0.29.1'

// https://mavenlibs.com/maven/dependency/org.aya-prover/tools-replimplementation("org.aya-prover:tools-repl:0.29.1")

// https://mavenlibs.com/maven/dependency/org.aya-prover/tools-repllibraryDependencies += "org.aya-prover" % "tools-repl" % "0.29.1"

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

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

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

# https://mavenlibs.com/maven/dependency/org.aya-prover/tools-repl'org.aya-prover:tools-repl: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 : tools-repl to add to Maven or Gradle - Latest Versions:

Latest Stable: 0.29.1

All Versions

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

Version	Vulnerabilities
0.29.x	tools-repl-0.29.1	May 31, 2023
0.29	tools-repl-0.29	May 06, 2023
0.28	tools-repl-0.28	Mar 02, 2023
0.27	tools-repl-0.27	Jan 14, 2023
0.26	tools-repl-0.26	Jan 08, 2023
0.25	tools-repl-0.25	Dec 10, 2022
0.24	tools-repl-0.24	Nov 22, 2022
0.23	tools-repl-0.23	Nov 10, 2022
0.22	tools-repl-0.22	Oct 15, 2022
0.21	tools-repl-0.21	Sep 26, 2022
0.20	tools-repl-0.20	Sep 07, 2022
0.19	tools-repl-0.19	Aug 10, 2022
0.18	tools-repl-0.18	May 10, 2022
0.17	tools-repl-0.17	Apr 08, 2022
0.16	tools-repl-0.16	Mar 26, 2022
0.15	tools-repl-0.15	Jan 11, 2022
0.14	tools-repl-0.14	Dec 06, 2021

Version

Vulnerabilities

Updated

0.29.x

tools-repl-0.29.1

May 31, 2023

0.29

tools-repl-0.29

May 06, 2023

0.28

tools-repl-0.28

Mar 02, 2023

0.27

tools-repl-0.27

Jan 14, 2023

0.26

tools-repl-0.26

Jan 08, 2023

0.25

tools-repl-0.25

Dec 10, 2022

0.24

tools-repl-0.24

Nov 22, 2022

0.23

tools-repl-0.23

Nov 10, 2022

0.22

tools-repl-0.22

Oct 15, 2022

0.21

tools-repl-0.21

Sep 26, 2022

0.20

tools-repl-0.20

Sep 07, 2022

0.19

tools-repl-0.19

Aug 10, 2022

0.18

tools-repl-0.18

May 10, 2022

0.17

tools-repl-0.17

Apr 08, 2022

0.16

tools-repl-0.16

Mar 26, 2022

0.15

tools-repl-0.15

Jan 11, 2022

0.14

tools-repl-0.14

Dec 06, 2021

How to add a dependency to Maven

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

<dependency>
    <groupId>org.aya-prover</groupId>
    <artifactId>tools-repl</artifactId>
    <version>0.29.1</version>
</dependency>

How to add a dependency to Gradle

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

implementation 'org.aya-prover:tools-repl:0.29.1'

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

implementation("org.aya-prover:tools-repl:0.29.1")

How to add a dependency to SBT Scala

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

libraryDependencies += "org.aya-prover" % "tools-repl" % "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

commonmark-ext-image-attributes

@org.aya-prover

Dec 09, 2022

0 stars

commonmark-ext-gfm-strikethrough

@org.aya-prover

Dec 09, 2022

0 stars

lucene-luke

@org.apache.lucene

Jun 25, 2023

anyline-office

@org.anyline

Aug 26, 2023

2 usages

52 stars

reckon-gradle

@org.ajoberstar.reckon

Apr 22, 2023

5 usages

190 stars

skill-contracts

@one.leftshift.skill

Mar 10, 2023

0 stars

webapp-common_sjs1_2.13

@net.wiringbits

Apr 08, 2023

3 usages

1 stars

slinky-utils_sjs1_2.13

@net.wiringbits

Apr 08, 2023

1 usages

1 stars

scalablytyped-facades_sjs1_2.13

@net.wiringbits

Apr 08, 2023

2 usages

1 stars

admin-data-explorer-slinky_sjs1_2.13

@net.wiringbits

Jan 27, 2022

1 stars

More Dependencies ❯