Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

systems/mmt.md

 ---
 layout: system
 
-title: "MMT: Meta Meta Theories/Meta Meta Tool"
+title: "MMT"
 teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework.
 
 start_date: 2011-03