Coq社区各位同仁：
Coq开发团队邀请您参与2022年Coq社区问卷调查。此项调查将帮助我们更好地了解Coq社区现状，以供今后决策参考。我们欢迎所有人来参与此项调查，不论你是正在使用Coq、刚刚开始入门或是计划学习Coq。请向你正在学习或使用Coq的学生、同事及朋友介绍此项调查，以免其错过此通知。
此项调查将于北京时间2022年3月1日20时截止。鉴于问卷较长，请预留充分的时间以作答。
问卷包含中英两个版本，中文版由李弈帅、欧林猫、邝伟杜译制。你可用中文或英文作答。
筹备此项调查的专门工作组成员包括：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、Théo Zimmermann。
祝好，
Coq开发团队