README.md

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

&mdash; following the FrameIT approach.

This repository is co-released with UFrameIT as a whole, see [UFrameIT's releases](https://github.com/UFrameIT/UFrameIT/releases).

## 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

## Contributing

See [`Scrolls/README.md`](./source/Scrolls) for how to write scrolls.

## Authors

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