Stream: Announcements

Topic: Zulip archive


view this post on Zulip Théo Zimmermann (Jun 16 2021 at 15:27):

Thanks to @Gabriel Scherer, we now have a public archive of this Zulip chat at https://coq.gitlab.io/zulip-archive/ :tada:
This archive will be advertised on the Coq website in a few days.
If you have any issue with this change, please voice them in https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneous/topic/Zulip.20archive or write to me via private message.


Last updated: Feb 06 2023 at 05:03 UTC