Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq community survey 2022

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq community survey 2022


Chronological Thread 
  • From: Théo Zimmermann <theo AT irif.fr>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: [Coq-Club] Coq community survey 2022
  • Date: Sat, 29 Jan 2022 18:57:28 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo AT irif.fr; spf=Pass smtp.mailfrom=theo AT irif.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
  • Ironport-data: A9a23:K4scCaCzfgRP+BVW/xflw5YqxClBgxIJ4kV8jS/XYbTApGkhhD1Wz GFOUDvQPqzYZmf2c90gOtm/8EoHvpDcy9VgOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yE6jMlkf5KkYAL+EnkZqTRMFWFx2XqPp8Zj2tQy2YHjUlvX0 T/Pi5S31GGNi2Yc3l08sPrrRCNH5JwebxtF1rCWTakjUG72zxH5PrpHTU2CByeQrr1vIwKPb 72rIIdVUY/u10xF5tuNyt4Xe6CRK1LYFVDmZnF+A8BOjvXez8A/+v5TCRYSVatYoyqAuYxX2 PpSjJq5WVcAGLH0hPYEVhYNRkmSPYUekFPGCXu4q8uXwlOAbn3t3bB2BVs3JtJe9Pwf7WNmr K1EbmpQMlbd3qTvm+LTpupE3qzPKOH3PI4YknB6zD+fA+xOrZXrGvWUvI4EgWhYasZmQPPuQ fFJaz9WbzfjUyN1F34vAqtug7L97pX4W2QE+QPK9fVfD3Lo5Ad2yf3mNMffUsebQN1c2Eeev GPPuWrjaiz2L/ScziCC9n+ywPLJnD2+QIsIFabnsPBw6LGO+oANIAIfcwedsdams0i3S4J2D VAs5jg3qKdnoSRHUeLBdxG/pXeFuDsVVNxRD/A25WmxJkz8v17x6o8sEmQpVTA2iCMlbWB6h gTTxbsFERQ17OXKFBpx45/O9WvaBMQDEYMVTQE+Jefvy+HquoAo5v4kZok+SPfu5jEZMZoWx z3PoCV7qa8ai8UGv5hXHGwrYRry+vAlrSZstm07u15JCCsiNeZJgKT0szDmAQ5odtrxc7V4l CFsdzKixO4PF4qRsyeGXf8AGrqkj97cbmGH2g8zQcF4rW7zk5JGQWy2yG8mTKuOGphfEQIFn GeI4Fg5CGJ7YSP2PP8qPepd9exzlvC9SrwJqcw4nvIXPskgK1/YlM2fTVSd2WnxnVJErE3ME cnzTCpYNl5DUf4P5GPuGY81iOZ7rghjmz+7bc2lnnyPjOrPDFbIGOxtGAbfPogRsvnZyDg5B v4EaqNmPT0EDLahCsQWmKZPRW03wY8TXM6u85IPKr/cc2KL2ggJUpfs/F/oQKQ994w9qwsC1 ijVtpZwxAWtiHvZBx+Nb3w/OrrjUYwg/3MhPCJqM0zxgyovZoOm7aE+cZorfOB7r7U+l64oF qgIK5eaH/BCajXb4DBBP5Pzm4pvKUawjgWUMiv5PTUyJsYyRwHA9tL+UBHo8S0CUni+ucck/ O+hzALVB5QZHlwwAMHTYfOp7lWwoXlExLkrAhGYfoACdRy1ooZwKiH3gvsmGO02KE3OlmmAy gKbIRYEvu2R8YU7x9/E2PKfpICzHuoiQ0dXEjWJ7buyMiWGrGOvzZUaCrSLeiraUG7qvrikZ PsQ1/jmMeZY2lhQ6tIuH7FuxKM4xt3uu74Dll0+TCuQMQzzB+MyOGSC0OlOqrZJmO1Ttzy2b V3TqNNUDrOEZZH+G1kLKQt4MOnajaMImiPf5OgeKVnh4HMl56KOVEhfY0uWhCpGIOcnOY8p2 7176s0R8Qu7hwRsL9CHkGVM/n6NNSNGXb9+7sMWB4riiwwKzFBeYMWEU3WmvsrRM41BYhswP zuZpKvenLAClEDMRHoECiSf1+Rqg5lT6gtBy0UPJgnXl4Od1OM3xhBY7R8+Uh9Rkkdcy+t2N 2VmX6GvyX5iI9u8aAl/s2GQ98VpBxqD/Uj81R0UkmzHClGhTG3WcyszI45hOazfH310JlBmE HOwkQ4JkgoGuOnwxCo8H0B/wxAmZcIk7RXMwahLAOzcd6TXolPZbmuGZHAJpV3pG6vdQaEBS fZCpI5NVEEwCcLcT2DXxWVXOXT8hS1o/FB/fMw=
  • Ironport-hdrordr: A9a23:7nC6qamu5evyI7H/jQ6IyNlKA9fpDfKf3DAbv31ZSRFFG/Fw8P re4cjztCWE8gr5N0tQ/uxoVJPwJU80lqQFhLX5X43SJTUO0VHAROoJgOSNogEIcBeOjtK1u5 0QCJSWy+eRMXFKyej/6Am8V/A6wNeG96iswcPT1W1kQw0vS4wI1XYeNu9WKDwUeOHIaKBJaO vi2uN34x6hfGkadci3b0N1IZmzmzQDruOFXffYPXIawTjLjnej6bz/GxicmjsYTD9Lx646/Q H+4nyJlZmLgrW5jhXc1Wva75ETotHm0dcrPr3/+70oAwSpiUKjZYZkU72G+AopqPyy8j8R4a 281CsdAw==
  • Ironport-phdr: A9a23:S5EhMh+bhuTl0/9uWRy3ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z gqEur491xeJBdydt6gdzbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWmjaxe71/I Re5oQjSuMQdnI9uJrosxhfTrXZEZflayXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAFkzoXKfI+aKuZxfqLFfdMbW2VBWNpRVzdcCY+4d ocDEvYNMfpdo4T7ulAArwaxBRO0CezgyjFGiHz407Ak3es9Hg/LxxAgH8sUvXjIsNn5KKUfX Oaox6fI1zXDaPZW1C/j5ojIaBchpumDUrFxccrUzEkgCRnFjlCKpozjOTOey+MAs3Sb7+V+U uKikG8nqxtwojih3MsshJPJi5sTx1vZ+ip33Jw7KsekSE5nf9GkCp1QujmVOYZ3XM8sQ25mt SQ+x7MJpJO2YCcHxYk7yhDfdfGKcYeF7xL+WeuQLjl0mG5odb2xihuv7UWt1/HwW8mw3VtXq CdOj9fCtncI1xPJ68iHTONw/kan2TaV1gDc8PtIIU4ulafdNpUvwaYwm4IOvUnHESL6glv6g a+Ze0k+++Wk9v7rbqjoq5KfL4N4lB3yP6A0lsG8Aek0KBYCU3aF9eimybHu/En0TbNXhfMsi KbZqorVJcEDq665HQBV1oEj5g68DzehytQYmn0HI0xbeB6dkojpPVDOIO7hAfenmVusijZrx +vEM7H7DJXNNGDPkLbnfblj905R0Bc/wNRQ6p5OFL0MIP3+VlXwudDFFBM1LgK5zuX/BNV4z IweWGaPAqGDMKPVtF+F/v4vI+mSa48Sozv9KuIl5//gjXMjl18dZ7Gl3YELZ3CgAvRmP0KZb GLwjdcGCGcGpxYxTOj3iFKZSjNTfHazX6ck5j4hEo6mDIHDRpqsgLObxiu7EIdWNSh6DQWnF m6gXIGZUb9YYyWLZ8RljzYsVL67SoZn2wv45yHgzL8yEupV/RoqtJfm2cJw7uvV3UUu9TFzJ 8WH0m/LQXsizTBAfCM/wK0q+R818VyEy6UtxqUATbS7httMWwY+b9vHyvBiTsr1UUTHd8uIT 1CvRpOnByswR5Q/2YxGeF5zTvOliB2LxC+2G/kNjbXeGJw59YrdxXn/YchnmD7dzKd0t1A9W YNUMHG+wKt29gzdHYnMxlmZmqGCdL4d0mjD7jTL1nKA6WdfVgM4SqDZRTYfa0/R+Mz+/V/HR qSyBK4PMQxbzsqPNO1XbNz3yE1PXvb4Z5LQeQpdgk+WAhCFjvOJZYvuISAG2TnFTVIDmEYV9 GqHMg43AmGgpXjfBXpgDwCnZUSk6uR4pH6hKy18hwiXc01s0aa08R8JlLSdTf0UxLcNpCYmr X19Al+829vcD9fIqRBmee1QZtY04VEP0my81UQ1IpytKIhjnF8QNQpt/gvv2xhxFoRcgJ0yt np5hAF2KK+ezBZAb2bBjMy2YOCLbDerukn0O/2zuBmWytud96YR5e5trlziuFvsDU8+6zB91 NIT1XKA55LMBQ5UUJTrU09x+QIpwtOSKiQ7+Y7Q0mVhdKeutTqXkc4pCewNywyhcZFRKunXX B+3CMAcC8W0faY2m1WuRhMePe4U+rR+bKbEP7OWnaWsOuhnhjevi29KtZt83ky7/C15UufU3 pwBzpl0xyO/XiznxBeku8Hzw8VfYC0KW3C4wm7iDZJQYat7ecAKD32vKou53Ic2i5noUn9ev FmtYjFOkNOpdB26bkb800tezwwbrGemli2x0zFv22h48uzFgXCInb2kLUFXcmdQDHFvl1LtP ZS5g5gBUU6kYhJo8XntrUf2yq5HpbhuemzaQENGZS/zfClpVqq9sKbHYtYascJ0938KDKLiO BbDEe6uxnlSmznuFGZf2j0hIjSju5Gj2gd/lHrYNnF46nzQZcB3wx7bot3aX/9YmDQcF0waw XHaAEaxO96x8JCajZDG56qiV2+mfpxJcCetw5nK52OroHZnBxGyhaX5ht3qFiA7yy71kddwH 3atzl60cszg0KK0Nvhid09jCQrn6sZ0LYp5l5M5mJAa3XVJzoXQ53cMln3/dMlKwa+rJmRYX iYFmpSGhWqtkF0mNH+CwJj1E2mQ0tc0LcfveXsYg2o4/4gdAaOQptSohANTpVy15ULUaPl5x HIGzOc2rWQdiKcPsRYsySOUBvYTG1NZNGrijUbA6df2t6hRaGu1FNr4nENjgdCsCq2DqQBAS T74fJklByp58sR4NhrFznTy7ojufNSYY8gUs1WYlBLJju4dL5xU9LJCnS18JWf0pmEo0cY4i gZp2Zyk+pWBKnso5KujAwUHcDPvJosS9jzrkadCj5OW0oSoTfADUn0AWJrlS+7tESpH7KW7c VzTTHti8zHCQuqMeG3XoF1rpH/ODZ2xYnSeJX1DiM5nWAHYPktUxgYdQDQ9mJc9UAGs3s3oN kljtVVzrhb1rAVBzuVwOlzxSGDa8U20ajozYJmFLRQQ4BsItCK3eYSOq/l+GS1V5MjrtAuWN mmSfBhFF0kKXVaDA139eKSo5MeF6+GCB/HhafXUK+bry6QWR7KDwpSh1ZFj9jCHO5CUP3VsO PY831JKQXFzH8mxc9AnSjYWmWTDdZzDzP9T0ixtr875/u65AWoHBKOMDKFVNdhxvQ2wgLnGL +eKhT0mbzhChMtk+A==
  • Ironport-sdr: EyQIrtnhrWh/xzpkmav6RyH67OoKRn9O+MYk57CNJiBStWXiyHUjemL8li4wTZrviidnxHuGD8 zPzcgwiupnxnlClSAIc6H/WSdJvJROSoHOvNZOXJadwH/fxqHwGQFNjweyN8XToJVpo/4GuNmu xY3ZUKtxoqDATRadAMcCIMbogy/AOHD2HQp+UGYoXFHRyoJbDSJG1UhKYs8FyrL8PVISO9OVEd 9eo5cg7GeJu9k2tqtyM+89FOwYgrxu7mhsevHwmmITLQaRbLk5fdndXZwvXpGpH/O+czHbn/4T JFxkOz4kHv8R9wHnowDsCbvn

Dear Coq community,

The Coq team kindly requests your participation in the Coq community
survey 2022:
https://sondages.inria.fr/index.php/356388?lang=en

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


  • [Coq-Club] Coq community survey 2022, Théo Zimmermann, 01/29/2022

Archive powered by MHonArc 2.6.19+.

Top of Page