is not current version
Last Version 2.12.0

de.hhu.stups:theorymapping 2.9.23

Part of the ProB Parser library

GroupId

GroupId

de.hhu.stups
ArtifactId

ArtifactId

theorymapping
Version

Version

2.9.23
Type

Type

jar

Download theorymapping 2.9.23


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