From a96388467bb4585226c44bf9197cd120d84ffd85 Mon Sep 17 00:00:00 2001 From: Richard Marcus <32901953+richardmarcus@users.noreply.github.com> Date: Mon, 15 Feb 2021 16:42:07 +0100 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e28933d1..a35e2f82 100644 --- a/README.md +++ b/README.md @@ -6,6 +6,7 @@ This repository contains the Unity project, which currently includes the framewo MMT itself is a large system with many different use cases beyond FrameIT. It operates with [archives](https://github.com/UFrameIT/archives) of formalized knowledge. For FrameIT, we added a new archive that, in turn, makes use of archives that existed before and contain knowledge about mathematics and logics. +Unity and MMT communicate via the [FrameIT-Server](https://github.com/UniFormal/MMT/tree/devel/src/frameit-mmt) For more information about the project, please visit <https://uframeit.org> -- GitLab