MVN

org.aya-prover : tools

Maven & Gradle

May 31, 2023

4 usages

239 stars

tools · The Aya proof assistant

Homepage Documentation Readme Maven Central

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

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

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

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

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

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

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

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

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

Latest Stable: 0.29.1

All Versions

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

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

Version

Vulnerabilities

Updated

0.29.x

tools-0.29.1

May 31, 2023

0.29

tools-0.29

May 06, 2023

0.28

tools-0.28

Mar 02, 2023

0.27

tools-0.27

Jan 14, 2023

0.26

tools-0.26

Jan 08, 2023

0.25

tools-0.25

Dec 10, 2022

0.24

tools-0.24

Nov 22, 2022

0.23

tools-0.23

Nov 10, 2022

0.22

tools-0.22

Oct 15, 2022

0.21

tools-0.21

Sep 26, 2022

0.20

tools-0.20

Sep 07, 2022

0.19

tools-0.19

Aug 10, 2022

0.18

tools-0.18

May 10, 2022

0.17

tools-0.17

Apr 08, 2022

0.16

tools-0.16

Mar 26, 2022

0.15

tools-0.15

Jan 11, 2022

0.14

tools-0.14

Dec 06, 2021

0.13

tools-0.13

Nov 20, 2021

0.12

tools-0.12

Nov 13, 2021

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

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

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

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

How to add a dependency to SBT Scala

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

libraryDependencies += "org.aya-prover" % "tools" % "0.29.1"

Dependencies from Group

pretty

@org.aya-prover

May 31, 2023

6 usages

239 stars

commonmark

@org.aya-prover

Dec 09, 2022

6 usages

0 stars

tools

@org.aya-prover

May 31, 2023

4 usages

239 stars

parser

@org.aya-prover

May 31, 2023

2 usages

239 stars

tools-repl

@org.aya-prover

May 31, 2023

2 usages

239 stars

More Dependencies ❯

Discover Dependencies

cdr-libs-cache

@net.di2e.ecdr.libs

Sep 27, 2016

2 usages

1 stars

ejb.security

@org.glassfish.main.security

Jul 28, 2023

5 usages

331 stars

documents4j-local

@com.documents4j

Jun 06, 2023

1 usages

479 stars

mvc-toolbox-core

@de.chkal.mvc-toolbox

Nov 01, 2022

2 usages

9 stars

fabric-agent

@org.fusesource.fabric

May 28, 2015

4 usages

syncope-core-spring

@org.apache.syncope.core

Jul 07, 2023

6 usages

mbknor-jackson-jsonschema_2.11

@com.kjetland

Apr 14, 2020

7 usages

225 stars

jena-sparql-api-vocabs

@org.aksw.jena-sparql-api

Mar 17, 2021

3 usages

56 stars

commons-templates

@com.glookast.commons

Jun 14, 2021

2 usages

1 stars

org.wso2.carbon.privacy.forgetme.api

@org.wso2.carbon.privacy

Feb 28, 2022

6 usages

3 stars

More Dependencies ❯