MVN

org.key-project : key.core

Maven & Gradle

Aug 18, 2023

38 stars

projects · Core functionality (terms, rules, prover, ...) for deductive verification of Java programs

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

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

// https://mavenlibs.com/maven/dependency/org.key-project/key.coreimplementation 'org.key-project:key.core:2.12.0'

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

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

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

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

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

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

Latest Stable: 2.12.0

All Versions

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

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

Version

Vulnerabilities

Updated

2.12.x

key.core-2.12.0

Aug 18, 2023

How to add a dependency to Maven

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

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

How to add a dependency to Gradle

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

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

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

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

How to add a dependency to SBT Scala

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

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

Dependencies from Group

docking-frames-base

@org.key-project

Jul 27, 2023

94 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.core.example

@org.key-project

Aug 18, 2023

38 stars

key.core.proof_references

@org.key-project

Aug 18, 2023

38 stars

key.core.rifl

@org.key-project

Aug 18, 2023

38 stars

key.core.symbolic_execution

@org.key-project

Aug 18, 2023

38 stars

key.core.symbolic_execution.example

@org.key-project

Aug 18, 2023

38 stars

key.core.testgen

@org.key-project

Aug 18, 2023

38 stars

key.removegenerics

@org.key-project

Aug 18, 2023

38 stars

key.ui

@org.key-project

Aug 18, 2023

38 stars

key.util

@org.key-project

Aug 18, 2023

38 stars

keyext.exploration

@org.key-project

Aug 18, 2023

38 stars

More Dependencies ❯