Skip to content

Building and publishing Rzk formalisations with MkDocs

Work-in-progress

Guide will be here soon. For now, please, check out https://github.com/emilyriehl/yoneda for an example with GitHub Actions.