menu
MMT Release 22 by
Prof. Dr. Michael Kohlhase
on
04 May 2022
in
Announcements

After almost 18 months of development, MMT - the flagship system of the KWARC group - has been released in version 22.

The long development time of this release has been a consequence of the growing inter-dependency of the system-near library and the system code, which led to serious maintenance problems in the past. Another problem was that a lot of dead code had accumulated over the last decade.

These problems have been addressed in version 22 (see the release notes for details) and we hope that MMT can now serve as a much more stable basis for mathematical knowledge management and we can return to a faster release cycle for the future.