Skip to content
Snippets Groups Projects
Unverified Commit a9638846 authored by Richard Marcus's avatar Richard Marcus Committed by GitHub
Browse files

Update README.md

parent 6eae6bdc
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
README.md
+ 1
− 0
View file @ a9638846
......@@ -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>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment