diff --git a/README.md b/README.md index 791cec211ccbb0d159b2b4f54ab34fcd04b73e3e..1852b935f86a498b497018aa401d1e145ca15acf 100644 --- a/README.md +++ b/README.md @@ -14,6 +14,10 @@ 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>. \ No newline at end of file