Community & Communication


Developers

The main developer of MMT is Florian Rabe.

Currently substantial contributions are being made by Mihnea Iancu, Dennis Müller, and Tom Wiesing.

Mailing lists

The MMT developers maintain the following mailing lists:

  • mmt-users@kwarc.info Communication between developers and users as well as among unsers. Announcements about MMT (e.g., new releases) as well as any general requests or inquiries. Typically low traffic.
  • mmt-dev@kwarc.info Communication between developments. More traffic and more technical.

Github

MMT is hosted on github, and users are encouraged to submit git issues for bug reports, feature requests, etc.