Artifact 'info.kwarc.mmt:mmt'

Metadata Dir

Versions

Version Type Date
1.0.0 release Oct 2015