Mermaid JS

Updated: 10 November 2026

Here is a Mermaid JS quick start which creates a svg image from a .mmd file

mkdir lean4-proj
cd lean4-proj
npm init -y
npm install --save-dev @mermaid-js/mermaid-cli
npx mmdc -i lean4.mmd -o lean4.svg

Leave a comment