Download mmt-informal-1.0.0.jar file

Description

You can download jar file mmt-informal 1.0.0 in this page.

You can use the following script to add mmt-informal-1.0.0.jar to your project.

<dependency>
   <groupId>info.kwarc.mmt</groupId>
   <artifactId>mmt-informal</artifactId>
   <version>1.0.0</version>
</dependency>

compile group: 'info.kwarc.mmt', name: 'mmt-informal', version: '1.0.0'

libraryDependencies += "info.kwarc.mmt" % "mmt-informal" % "1.0.0"

<dependency org="info.kwarc.mmt" name="mmt-informal" rev="1.0.0"/>

@Grapes(@Grab(group='info.kwarc.mmt', module='mmt-informal', version='1.0.0'))

'info.kwarc.mmt:mmt-informal:jar:1.0.0'

Click the following link to download the jar file.