rewrite of Yael's lifecycle PR

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

Closed semorrison closed 1 month ago

semorrison commented 1 month ago

This is a rewrite of @YaelDillies's #481.

grunweg commented 1 month ago

Looks good to me!

YaelDillies commented 1 month ago

Thanks! Although of course I agree with myself.