Examples for the MMT-GF bridge

A MMT counterpart to the elementary math in SMGloM

General Tests (Views, Structures, etc.)

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

Paradigmatic examples of MMT content. They are used for development and regression testing.