Cyril Cohen (Jun 20 2023 at 12:32): Cyril Cohen (Jun 20 2023 at 12:32):Dear Zulip users, we would like to attract your attention to the addendum of Coq code of conduct that is specific to our forums (in particular the Zulip chat and the Coq Discourse). Please read it carefully.
Last updated: Oct 13 2024 at 01:02 UTC