FrameWorld: Formalizations for the UFrameIT game

— following the FrameIT approach.

This repository is co-released with UFrameIT as a whole, see UFrameIT's releases.

Contents

Importantly, in ./source you can find

• MetaTheories.mmt: contains includes and symbols for meta keys/values shared by all other theories
• Scrolls/: contains all scrolls
• Library/: contains files of the upcoming Loviwo proposal

Besides that, there is also

• 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 for how to write scrolls.

Authors

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