info.kwarc.sally4 : sally4

<!-- https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4 --><dependency>
    <groupId>info.kwarc.sally4</groupId>
    <artifactId>sally4</artifactId>
    <version>1.0.0</version>
</dependency>

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4implementation group: 'info.kwarc.sally4', name: 'sally4', version: '1.0.0'

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4implementation 'info.kwarc.sally4:sally4:1.0.0'

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4implementation("info.kwarc.sally4:sally4:1.0.0")

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4libraryDependencies += "info.kwarc.sally4" % "sally4" % "1.0.0"

<!-- https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4 --><dependency org="info.kwarc.sally4" name="sally4" rev="1.0.0"/>

// https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4@Grapes(
    @Grab(group='info.kwarc.sally4', module='sally4', version='1.0.0')
)

;; https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4[info.kwarc.sally4/sally4 "1.0.0"]

# https://mavenlibs.com/maven/pom/info.kwarc.sally4/sally4'info.kwarc.sally4:sally4:jar:1.0.0'