search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
52 stars 121 forks source link

Fix "calc mode" #503

Closed Komyyy closed 3 months ago

Komyyy commented 3 months ago

The "calc mode" page lacks ```.