The MMT Language and System (original) (raw)

Foundation Independent

All aspects of MMT avoid a commitment to semantic foundation, representational paradigm, or application work flow