MVN

org.aya-prover : base

Maven & Gradle

May 31, 2023

1 usages

239 stars

base · The Aya proof assistant

Homepage Documentation Readme Maven Central

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

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

// https://mavenlibs.com/maven/dependency/org.aya-prover/baseimplementation 'org.aya-prover:base:0.29.1'

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

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

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

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

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

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

Latest Stable: 0.29.1

All Versions

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

Version	Vulnerabilities	Updated
0.29.x	base-0.29.1		May 31, 2023
0.29	base-0.29		May 06, 2023
0.28	base-0.28		Mar 02, 2023
0.27	base-0.27		Jan 14, 2023
0.26	base-0.26		Jan 08, 2023
0.25	base-0.25		Dec 10, 2022
0.24	base-0.24		Nov 22, 2022
0.23	base-0.23		Nov 10, 2022
0.22	base-0.22		Oct 15, 2022
0.21	base-0.21		Sep 26, 2022
0.20	base-0.20		Sep 07, 2022
0.19	base-0.19		Aug 10, 2022
0.18	base-0.18		May 10, 2022
0.17	base-0.17		Apr 08, 2022
0.16	base-0.16		Mar 26, 2022
0.15	base-0.15		Jan 11, 2022
0.14	base-0.14		Dec 06, 2021
0.13	base-0.13		Nov 20, 2021
0.12	base-0.12		Nov 13, 2021
0.11	base-0.11		Nov 03, 2021
0.10	base-0.10		Oct 17, 2021
0.9	base-0.9		Sep 28, 2021
0.8.x	base-0.8.3		Sep 15, 2021
base-0.8.2		Aug 15, 2021
base-0.8.1		Aug 05, 2021

Version

Vulnerabilities

Updated

0.29.x

base-0.29.1

May 31, 2023

0.29

base-0.29

May 06, 2023

0.28

base-0.28

Mar 02, 2023

0.27

base-0.27

Jan 14, 2023

0.26

base-0.26

Jan 08, 2023

0.25

base-0.25

Dec 10, 2022

0.24

base-0.24

Nov 22, 2022

0.23

base-0.23

Nov 10, 2022

0.22

base-0.22

Oct 15, 2022

0.21

base-0.21

Sep 26, 2022

0.20

base-0.20

Sep 07, 2022

0.19

base-0.19

Aug 10, 2022

0.18

base-0.18

May 10, 2022

0.17

base-0.17

Apr 08, 2022

0.16

base-0.16

Mar 26, 2022

0.15

base-0.15

Jan 11, 2022

0.14

base-0.14

Dec 06, 2021

0.13

base-0.13

Nov 20, 2021

0.12

base-0.12

Nov 13, 2021

0.11

base-0.11

Nov 03, 2021

0.10

base-0.10

Oct 17, 2021

0.9

base-0.9

Sep 28, 2021

0.8.x

base-0.8.3

Sep 15, 2021

base-0.8.2

Aug 15, 2021

base-0.8.1

Aug 05, 2021

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

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

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

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

How to add a dependency to SBT Scala

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

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

shenyu

@org.apache.shenyu

Aug 07, 2023

8.2k stars

Oct 16, 2022

Aug 31, 2021

0 stars

bingobase

@io.github.robin132929

Aug 08, 2021

0 stars

cucm-11

@io.github.casually-blue

Aug 07, 2021

0 stars

kswift-runtime

@dev.icerock.moko

Oct 28, 2022

2 usages

337 stars

di.face

@com.truora

Feb 22, 2022

olon-webkit_2.13

@com.talenteca

Aug 06, 2021

2 usages

4 stars

ontimize-jee-server

@com.ontimize.jee

Jul 31, 2023

13 usages

2 stars

jintellitype

@com.melloware

Aug 14, 2022

3 usages

More Dependencies ❯