MVN

org.key-project : key.ui

Maven & Gradle

Aug 18, 2023

44 stars

projects · User interface for the deductive verification of Java programs

Homepage Maven Central

<!-- https://mavenlibs.com/maven/dependency/org.key-project/key.ui --><dependency>
    <groupId>org.key-project</groupId>
    <artifactId>key.ui</artifactId>
    <version>2.12.0</version>
</dependency>

// https://mavenlibs.com/maven/dependency/org.key-project/key.uiimplementation group: 'org.key-project', name: 'key.ui', version: '2.12.0'

// https://mavenlibs.com/maven/dependency/org.key-project/key.uiimplementation 'org.key-project:key.ui:2.12.0'

// https://mavenlibs.com/maven/dependency/org.key-project/key.uiimplementation("org.key-project:key.ui:2.12.0")

// https://mavenlibs.com/maven/dependency/org.key-project/key.uilibraryDependencies += "org.key-project" % "key.ui" % "2.12.0"

<!-- https://mavenlibs.com/maven/dependency/org.key-project/key.ui --><dependency org="org.key-project" name="key.ui" rev="2.12.0"/>

// https://mavenlibs.com/maven/dependency/org.key-project/key.ui@Grapes(
    @Grab(group='org.key-project', module='key.ui', version='2.12.0')
)

;; https://mavenlibs.com/maven/dependency/org.key-project/key.ui[org.key-project/key.ui "2.12.0"]

# https://mavenlibs.com/maven/dependency/org.key-project/key.ui'org.key-project:key.ui:jar:2.12.0'

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.key-project : key.ui to add to Maven or Gradle - Latest Versions:

Latest Stable: 2.12.0

All Versions

Choose a version of org.key-project : key.ui to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
2.12.x	key.ui-2.12.0		Aug 18, 2023

Version

Vulnerabilities

Updated

2.12.x

key.ui-2.12.0

Aug 18, 2023

How to add a dependency to Maven

Add the following org.key-project : key.ui maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.key-project</groupId>
    <artifactId>key.ui</artifactId>
    <version>2.12.0</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.key-project : key.ui gradle dependency to your build.gradle file:

implementation 'org.key-project:key.ui:2.12.0'

Gradle Kotlin DSL: Add the following org.key-project : key.ui gradle kotlin dependency to your build.gradle.kts file:

implementation("org.key-project:key.ui:2.12.0")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.key-project : key.ui sbt scala dependency to your build.sbt file:

libraryDependencies += "org.key-project" % "key.ui" % "2.12.0"

Dependencies from Group

docking-frames-base

@org.key-project

Jul 27, 2023

96 stars

docking-frames-common

@org.key-project

Jul 27, 2023

docking-frames-core

@org.key-project

Jul 27, 2023

docking-frames-ext-css-theme

@org.key-project

Jul 27, 2023

docking-frames-ext-toolbar

@org.key-project

Jul 27, 2023

More Dependencies ❯

Discover Dependencies

key.util

@org.key-project

Aug 18, 2023

44 stars

keyext.exploration

@org.key-project

Aug 18, 2023

44 stars

keyext.proofmanagement

@org.key-project

Aug 18, 2023

44 stars

keyext.slicing

@org.key-project

Aug 18, 2023

44 stars

keyext.ui.testgen

@org.key-project

Aug 18, 2023

44 stars

recoder

@org.key-project

Aug 18, 2023

44 stars

ipf-commons-ihe-fhir-r4-chppqm

@org.openehealth.ipf.commons

Aug 18, 2023

diAndroid

@com.firework.core

Aug 18, 2023

ipf-platform-camel-ihe-fhir-r4-chppqm

@org.openehealth.ipf.platform-camel

Aug 18, 2023

pekko-mock-scheduler_2.12

@com.github.pjfanning

Aug 18, 2023

0 stars

More Dependencies ❯