MVN

org.aya-prover : pretty

Maven & Gradle

May 31, 2023

6 usages

240 stars

pretty · The Aya proof assistant

Homepage Documentation Readme Maven Central

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

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

// https://mavenlibs.com/maven/dependency/org.aya-prover/prettyimplementation 'org.aya-prover:pretty:0.29.1'

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

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

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

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

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

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

Latest Stable: 0.29.1

All Versions

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

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

Version

Vulnerabilities

Updated

0.29.x

pretty-0.29.1

May 31, 2023

0.29

pretty-0.29

May 06, 2023

0.28

pretty-0.28

Mar 02, 2023

0.27

pretty-0.27

Jan 14, 2023

0.26

pretty-0.26

Jan 08, 2023

0.25

pretty-0.25

Dec 10, 2022

0.24

pretty-0.24

Nov 22, 2022

0.23

pretty-0.23

Nov 10, 2022

0.22

pretty-0.22

Oct 15, 2022

0.21

pretty-0.21

Sep 26, 2022

0.20

pretty-0.20

Sep 07, 2022

0.19

pretty-0.19

Aug 10, 2022

0.18

pretty-0.18

May 10, 2022

0.17

pretty-0.17

Apr 08, 2022

0.16

pretty-0.16

Mar 26, 2022

0.15

pretty-0.15

Jan 11, 2022

0.14

pretty-0.14

Dec 06, 2021

0.13

pretty-0.13

Nov 20, 2021

0.12

pretty-0.12

Nov 13, 2021

0.11

pretty-0.11

Nov 03, 2021

0.10

pretty-0.10

Oct 17, 2021

0.9

pretty-0.9

Sep 28, 2021

0.8.x

pretty-0.8.3

Sep 15, 2021

pretty-0.8.2

Aug 15, 2021

pretty-0.8.1

Aug 05, 2021

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

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

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

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

How to add a dependency to SBT Scala

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

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

Dependencies from Group

pretty

@org.aya-prover

May 31, 2023

6 usages

240 stars

commonmark

@org.aya-prover

Dec 09, 2022

6 usages

0 stars

tools

@org.aya-prover

May 31, 2023

4 usages

240 stars

parser

@org.aya-prover

May 31, 2023

2 usages

240 stars

tools-repl

@org.aya-prover

May 31, 2023

2 usages

240 stars

More Dependencies ❯

Discover Dependencies

helidon-security-jwt

@io.helidon.security

Jul 18, 2023

13 usages

3k stars

shoal-cache

@org.glassfish.shoal

Nov 19, 2022

5 usages

4 stars

object-tweet

@com.ksc.mission.base

Dec 12, 2020

6 usages

final-auto-core

@org.ifinal.finalframework.auto

Dec 09, 2020

9 usages

12 stars

org.wso2.carbon.uiserver

@org.wso2.carbon.uiserver

Feb 07, 2023

11 usages

13 stars

doov-ts-parser

@io.doov

Nov 05, 2019

3 usages

38 stars

insetter

@dev.chrisbanes

Nov 13, 2021

3 usages

1k stars

core

@com.heliorm

May 31, 2023

5 usages

1 stars

genkai-redisson_2.12

@com.nryanov.genkai

Aug 01, 2021

4 usages

0 stars

ssl-config

@com.palantir.remoting-api

Apr 26, 2021

2 usages

More Dependencies ❯