MVN

org.aya-prover : ide

Maven & Gradle

May 31, 2023

281 stars

ide · The Aya proof assistant

Homepage Documentation Readme Maven Central

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

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

// https://mavenlibs.com/maven/dependency/org.aya-prover/ideimplementation 'org.aya-prover:ide:0.29.1'

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

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

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

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

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

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

Latest Stable: 0.29.1

All Versions

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

Version	Vulnerabilities
0.29.x	ide-0.29.1	May 31, 2023
0.29	ide-0.29	May 06, 2023
0.28	ide-0.28	Mar 02, 2023
0.27	ide-0.27	Jan 14, 2023
0.26	ide-0.26	Jan 08, 2023

Version

Vulnerabilities

Updated

0.29.x

ide-0.29.1

May 31, 2023

0.29

ide-0.29

May 06, 2023

0.28

ide-0.28

Mar 02, 2023

0.27

ide-0.27

Jan 14, 2023

0.26

ide-0.26

Jan 08, 2023

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

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

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

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

How to add a dependency to SBT Scala

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

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

aussom.base

@io.github.rsv-code

Jan 28, 2023

1 stars

easypoi-annotation

@com.luamas.easypoi

Jan 08, 2023

143 stars

easypoi-bom

@com.luamas.easypoi

Jan 08, 2023

143 stars

easypoi-base

@com.luamas.easypoi

Jan 08, 2023

143 stars

easypoi-spring-boot-starter

@com.luamas.easypoi

Jan 08, 2023

143 stars

easypoi-web

@com.luamas.easypoi

Jan 08, 2023

143 stars

easypoi-wps

@com.luamas.easypoi

Jan 08, 2023

143 stars

dsl-builder-api

@com.nicholasnassar.dslbuilder

Jan 08, 2023

0 stars

dsl-builder-ksp

@com.nicholasnassar.dslbuilder

Jan 08, 2023

0 stars

zio-kafka-docs_2.12

@dev.zio

Aug 08, 2023

339 stars

More Dependencies ❯