GitHub repository: rzk-lang/mkdocs-plugin-rzk
Primary language: Python
Description: MkDocs plugin for rzk proof assistant (inserts diagram renders).