Zulip Chat Archive
Stream: PR reviews
Topic: hello
Welcome Bot (Oct 07 2018 at 10:24):
Welcome to #PR reviews.
Description: For discussion of current PRs to mathlib, as well as soliciting help on PRs, or proposing prioritisation.
Last updated: May 02 2025 at 03:31 UTC