Zulip Chat Archive
Stream: Carleson
Topic: links
Floris van Doorn (Jun 21 2024 at 14:30):
Terence Tao (Jun 21 2024 at 19:05):
Maybe a link to this Zulip channel can be added to the project web page.
Pietro Monticone (Jun 21 2024 at 20:02):
Terence Tao said:
Maybe a link to this Zulip channel can be added to the project web page.
Opened PR updating the webpage accordingly.
Last updated: May 02 2025 at 03:31 UTC