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: Oct 13 2024 at 01:02 UTC