enable rendering mermaid graphs - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

51 stars 119 forks source link

enable rendering mermaid graphs #496

Closed jcommelin closed 2 months ago

jcommelin commented 2 months ago

wip
Revert "wip"
Enable rendering mermaid git graphs

bryangingechen commented 2 months ago

Thanks!