Zulip Chat Archive

Stream: general

Topic: linear_algebra theory docs are outdated


view this post on Zulip 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?

view this post on Zulip 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