GitHub repository: KWARC/MMT
Primary language: Scala
Created: 2015-06-02T14:14:48Z
Description: The MMT Language and System