Dear Coq community,
The Coq team kindly requests your participation in the Coq community survey 2022 . This survey will help us get an updated picture of the Coq community and inform our future decisions. Participation from every Coq user, learner or prospective user is extremely helpful. Please advertise the survey to your students, colleagues, and friends who are learning or using Coq but might have missed this announcement.
The deadline for submitting the survey is February 28, 2022 (AoE). Since the survey is quite long, please don’t wait until the last minute to start answering.
The survey is available in English and in Chinese. The Chinese translation was done by Yishuai Li, Oling Cat, and Weidu Kuang. You may respond in English or Chinese.
This survey was prepared by an ad hoc working group composed of Ana de Almeida Borges, Yves Bertot, Nathan Cassee, Jean-Rémy Falleri-Vialard, Jim Fehrle, Emilio Jesús Gallego Arias, Jerome Hugues, Barry Jay, Erik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Matthieu Sozeau, Enrico Tassi, and Théo Zimmermann.
Regards,
The Coq team