Eric Wieser (Jan 04 2021 at 13:33):
Looking at https://leanprover-community.github.io/theories/linear_algebra.html, there are a bunch of links that seem to have gone dead, things like
Presumably these pages should always link to the
find/... style links for symbol names to make them more resilient to module moves?
Patrick Massot (Jan 04 2021 at 13:37):
We should also have some kind of CI here, hunting down any dead link on the website.
Last updated: May 12 2021 at 23:13 UTC