Stream: Miscellaneous

Topic: Coq club archives


view this post on Zulip Bas Spitters (Jun 15 2021 at 11:52):

Looks like they are still unavailable. @Matthieu Sozeau I understand you were looking into it?
https://sympa.inria.fr/sympa/info/coq-club

view this post on Zulip Matthieu Sozeau (Jun 15 2021 at 13:32):

Yep, I just asked them to open it again

view this post on Zulip Matthieu Sozeau (Jun 16 2021 at 08:54):

The archive is open again

view this post on Zulip Matthieu Sozeau (Jun 16 2021 at 08:55):

We might want to move it to https://www.mail-archive.com/, I'll add a point to the Coq Call about it


Last updated: Aug 19 2022 at 19:03 UTC