is not current version
Last Version 2.12.0

de.hhu.stups:theorymapping 2.4.40

Part of the ProB Parser library

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

theorymapping
Version

Version

2.4.40
Type

Type

jar

Download theorymapping 2.4.40


<!-- https://jarcasting.com/artifacts/de.hhu.stups/theorymapping/ -->
<dependency>
    <groupId>de.hhu.stups</groupId>
    <artifactId>theorymapping</artifactId>
    <version>2.4.40</version>
</dependency>
// https://jarcasting.com/artifacts/de.hhu.stups/theorymapping/
implementation 'de.hhu.stups:theorymapping:2.4.40'
// https://jarcasting.com/artifacts/de.hhu.stups/theorymapping/
implementation ("de.hhu.stups:theorymapping:2.4.40")
'de.hhu.stups:theorymapping:jar:2.4.40'
<dependency org="de.hhu.stups" name="theorymapping" rev="2.4.40">
  <artifact name="theorymapping" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.hhu.stups', module='theorymapping', version='2.4.40')
)
libraryDependencies += "de.hhu.stups" % "theorymapping" % "2.4.40"
[de.hhu.stups/theorymapping "2.4.40"]