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: Feb 28 2026 at 14:05 UTC