Ana de Almeida Borges (Jan 30 2022 at 00:01): Ana de Almeida Borges (Jan 30 2022 at 00:01):The Coq team kindly requests your participation in the Coq community survey 2022. The deadline for submitting the survey is February 28, 2022 (AoE). Read more in the Discourse announcement.
Théo Zimmermann (Feb 21 2022 at 15:34):Final Reminder: Coq Community Survey 2022
The Coq team would like to remind you about responding to the Coq community survey 2022, at the following URL: https://sondages.inria.fr/index.php/356388?lang=en
The deadline for submitting the survey is February 28, 2022 (AoE). Please help us get an updated picture of the Coq community and help inform our future decisions.
Last updated: Sep 23 2023 at 07:01 UTC