Zulip Chat Archive
Stream: PR reviews
Topic: Linear algebra
Antoine Labelle (May 12 2022 at 14:15):
Hi! I have a few linear algebra PRs that have been open for some time, if anyone has the chance to look at them it would be really great: #13608, #13802, #13872, #13897 (and eventually #13728, which depends on #13608).
Last updated: Dec 20 2023 at 11:08 UTC