Paradigmatic examples of MMT content. They are used for development and regression testing.
Core formalizations of (elementary) mathematics in MMT