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

Update "calc mode" for Lean 4 #479

Closed Komyyy closed 3 months ago

Komyyy commented 3 months ago

Sorry, this is a duplicated work.

391