The MMT Language and System

Informal Knowledge

Mihnea Iancu’s PhD thesis is currently extending the MMT language with concepts for informal knowledge.

The implementation is already very mature (and heavily used in our production workflows), but documentation has not been written yet.