KWARC.mmt

MMT Language

Total downloads

989

7d gain

10

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.2.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: KWARC
Name: mmt
License: BSD-3-Clause
Homepage: https://github.com/UniFormal/VSCode-MMT#readme
Repository: https://github.com/UniFormal/VSCode-MMT.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Language and build support for the MMT language developed by the https://kwarc.info research group.

Archive

Release history

2 latest releases