Zulip Chat Archive
Stream: Berkeley Lean Seminar
Topic: PRs
Johan Commelin (Mar 13 2021 at 15:50):
Thanks for all the PRs! They are very well-written and atomic!
Johan Commelin (Mar 13 2021 at 15:50):
Sorry that I didn't review them as fast as I sometimes have...
Thomas Browning (Mar 13 2021 at 18:42):
No worries. I've been following your crazy progress in the condensed mathematics stream and I totally understand.
Last updated: Dec 20 2023 at 11:08 UTC