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

Suggest `scripts/mk_all.sh` #464

Closed Rida-Hamadani closed 6 months ago

kim-em commented 6 months ago

Oops, no bors here.