Skip to content
Snippets Groups Projects
Commit ab27df95 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

first draft

parent eedf2376
No related branches found
No related tags found
No related merge requests found
Pipeline #2097 passed
---
layout: system
menu_title: FrameIt
shorttitle: FrameIT
title: The UFrameIT Framework
teaser: A Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management
start_date: '2013'
orphan: false
people:
- mkohlhase
- dmueller
- rmarcus
- nroux
supported-by:
- oaf
<!-- logo: public/kwarc_logo.svg -->
website: http://uframeit.github.io
repository: https://github.com/UFrameIT
publink: http://kwarc.github.io/bibs/frameit
---
The FrameIT project builds a Framework for Serious Games by combining Virtual Worlds with
Mathematical Knowledge Management. The main idea is that we can use
[MMT](https://kwarc.info/projects/mmt) theory graphs to represent the background knowledge
and [MMT](https://kwarc.info/projects/mmt) pushouts to compute the application of
knowledge in concrete situations.
The [UFrameIT](https://github.com/UFrameIT) framework uses the
[Unity game engine](http://unity.com) with the [MMT](https://kwarc.info/projects/mmt)
system.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment