README.md

# FrameWorld: Formalizations for the [UFrameIT game](https://uframeit.github.io)

— following the FrameIT approach.

## Contents

Importantly, in [`./source`](./source) you can find

- [`MetaTheories.mmt`](./source/MetaTheories.mmt): contains includes and symbols for meta keys/values shared by all other theories
- [`Scrolls/`](./source/Scrolls): contains all scrolls
- [`Library/`](./source/Library): contains files of the upcoming Loviwo proposal

Besides that, there is also

- [`IntegrationTests/`](./source/IntegrationTests): contains some integration tests run by the unit tests in the frameit-mmt submodule of the UniFormal/MMT project

## Authors

See team <https://uframeit.github.io>.