diff --git a/systems/mmt.md b/systems/mmt.md index c56e2c68c7e5560094fe4d7ce828fb5ae63aec3f..c70efef68e74452926528a2ec21ef671e1a1f0e2 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -1,7 +1,7 @@ --- 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