main
= Installation Refer to https://metanorma.org/install/manual-installation/[Metanorma Manual Installation]