search

leanprover-community / leanprover-community.github.io

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

feat(contribute/tags_and_branches): document nightly and bump branches #531

Closed jcommelin closed 1 month ago

PatrickMassot commented 1 month ago

@kim-em could you please review this?