mvncenter: org.key-project:key.core.proof

API for using KeY for maintaining references between objects in proofs

using references proofs objects maintaining between

Files download

File	Operation
key.core.proof_references-2.12.2.jar	download
key.core.proof_references-2.12.2.pom	download
key.core.proof_references-2.12.2-sources.jar	download

Apache Maven

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

Gradle Groovy

implementation 'org.key-project:key.core.proof_references:2.12.2'

Gradle Kotlin

implementation("org.key-project:key.core.proof_references:2.12.2")

Scala SBT

libraryDependencies += "org.key-project" % "key.core.proof_references" % "2.12.2"

Groovy Grape

@Grapes(
  @Grab(group='org.key-project', module='key.core.proof_references', version='2.12.2')
)

Apache Ivy

<dependency org="org.key-project" name="key.core.proof_references" rev="2.12.2" />

Leiningen

[org.key-project/key.core.proof_references "2.12.2"]

Apache Buildr

'org.key-project:key.core.proof_references:jar:2.12.2'

Dependencies

runtime