info.kwarc.mmt : mmt

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

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

// https://mavenlibs.com/maven/pom/info.kwarc.mmt/mmtimplementation 'info.kwarc.mmt:mmt:1.0.0'

// https://mavenlibs.com/maven/pom/info.kwarc.mmt/mmtimplementation("info.kwarc.mmt:mmt:1.0.0")

// https://mavenlibs.com/maven/pom/info.kwarc.mmt/mmtlibraryDependencies += "info.kwarc.mmt" % "mmt" % "1.0.0"

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

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

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

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