MMT Adaptation of tiscaf library

MMT

License

License

GroupId

GroupId

info.kwarc.mmt
ArtifactId

ArtifactId

mmt-tiscaf
Last Version

Last Version

1.0.0
Release Date

Release Date

Type

Type

bundle
Description

Description

MMT Adaptation of tiscaf library
MMT

Download mmt-tiscaf

Dependencies

compile (1)

Group / Artifact Type Version
org.scala-lang : scala-library jar 2.10.3

Project Modules

There are no modules declared in this project.

Versions

Version
1.0.0