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: Dec 20 2023 at 11:08 UTC