Stream: math-comp analysis

Topic: ✔ Current PRs

view this post on Zulip Zachary Stone (Oct 01 2022 at 17:25):

Hey all, I've got four reviews posted now.

The first three PRs are straightforward, and are good if you're looking for something quick. The metrizability one is tougher. I've tried to leave some comments explaining what's going on, but it's likely insufficient. If you've got the time to review, please reach out, and I'd be happy to help walk you through it.

view this post on Zulip Zachary Stone (Oct 07 2022 at 00:44):

Thanks for the thorough reviews! The changes are much improved post-review.

view this post on Zulip Notification Bot (Oct 07 2022 at 00:44):

Zachary Stone has marked this topic as resolved.

Last updated: Jun 22 2024 at 16:02 UTC