Readme
This is example of how one can get started with creating a new document.
Setup
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.
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.