The MMT Language and System

Contributors

The main developer of MMT is Florian Rabe.

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

Active contributors are usually around in the gitter chatroom.