Zulip Chat Archive

Stream: general

Topic: linear_algebra theory docs are outdated

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 bilin_form_equiv_matrix and ring_anti_equiv.

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: Aug 03 2023 at 10:10 UTC