Reading Zulip messages requires logging in (https://github.com/zulip/zulip/issues/4817).
Should Coq set up https://github.com/zulip/zulip-archive as a workaround?
Absolutely! This is something that we need to install until Zulip adds support for anonymous viewing (which will activate as soon as it is available).
This topic was moved here from #Coq users > Coq Zulip archive by Théo Zimmermann
Last updated: Jun 10 2023 at 06:31 UTC