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 :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 or write to me via private message.

Last updated: Feb 22 2024 at 03:02 UTC