Skip to content
Snippets Groups Projects
2022-05-04-MMT-release-22.md 883 B
Newer Older
  • Learn to ignore specific revisions
  • Michael Kohlhase's avatar
    Michael Kohlhase committed
    ---
    layout: post
    author: mkohlhase
    title: "MMT Release 22"
    tags:
      - Announcements
    ---
    After almost 18 months of development, [MMT](https://uniformal.github.io) - the flagship
    system of the KWARC group - has been released in [version
    22](https://github.com/UniFormal/MMT/releases/tag/v22.0.0).
    
    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](https://github.com/UniFormal/MMT/releases/tag/v22.0.0) 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.