Stream: Coq users

Topic: Coq community survey 2022


view this post on Zulip 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.

view this post on Zulip 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: Feb 01 2023 at 12:30 UTC