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

Update the contribution guide #534

Closed YaelDillies closed 1 month ago

YaelDillies commented 1 month ago

As pointed out in https://github.com/leanprover-community/leanprover-community.github.io/pull/359#discussion_r1312346046, - [ ] depends on: should be below the ---. I think most people already place it in the correct position because the template tells them so, but we might as well update the contribution guide too.