The MMT Language and System
Overview
Setting up MMT
Tutorials
The Philosophy behind MMT
The MMT Language
MMT-Archives
The MMT API
Applications and Projects based on MMT
IDEs
IntelliJ
jEdit
The MMT Shell
The MMT Server
TGView3D
TGView
LaTeX Processing
Development
Community & Communication
Contributed Articles
IDEs
There are currently two IDEs available for creating and editing MMT content:
An
IntelliJ-Plugin
(not supported anymore
A
jEdit-Plugin
and
A
VSCode Extension
(in development)