Fiddling with JetBrains MPS

JetBrains MPS is a language workbench tool. In my sparetime, I am interested in what can and what cannot be done with it. Can we create formal systems (like MMT) with it? Can we export from them to JetBrains MPS?

Navid Roux
Navid Roux
Computer Science M. Sc. Student

Academically interested in formal systems for knowledge representation; recreationally in love with sports.