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: Aug 14 2022 at 13:02 UTC