This is example of how one can get started with creating a new document.

You don't need to setup anything for this project, just create a file, as you wish and then metanorma would run on the background.