IDEs


There are currently two IDEs available for creating and editing MMT content:

Their functionality overlaps strongly, and which IDE to use is largely a matter of personal taste.