Introductory Articles

The following resources are useful for researchers to get a more detailed understanding:

  • This 10 page overview describes the design and applications of MMT for casually interested researchers.
  • This 2020 video was taken of my talk on MMT in Andrej Bauer’s seminar on Every Proof Assistant.
  • This set of slides is the union of various overview talks on MMT.
  • The (relatively old) text MMT vs. X describes MMT in terms of how it differs from other systems.
  • The original journal article on the MMT language describes the motivation and approach in depth. (Some details on the MMT language may be outdated by now.)
  • This journal article gives an overview of how MMT contributes to the QED question of integrating formal systems.