search

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 116 forks source link

Broken link in `/install/project.html` #489

Closed Rida-Hamadani closed 1 week ago

Rida-Hamadani commented 1 month ago

There is a broken link in this section, it gives a 404 error: https://leanprover-community.github.io/ci.html.

bryangingechen commented 1 month ago

This will be fixed when https://github.com/leanprover-community/leanprover-community.github.io/pull/487 is merged.