Stream: Miscellaneous

Topic: Coq Zulip archive

view this post on Zulip Paolo Giarrusso (May 16 2020 at 11:42):

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?

view this post on Zulip Théo Zimmermann (May 16 2020 at 14:13):

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).

view this post on Zulip Notification Bot (May 16 2020 at 14:14):

This topic was moved here from #Coq users > Coq Zulip archive by Théo Zimmermann

Last updated: Nov 29 2023 at 19:01 UTC