Skip to Content.
Sympa Menu

coq-club - [Coq-Club] seeking Coq users for an observational study

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] seeking Coq users for an observational study


Chronological Thread 
  • From: Jessica Shi <jwshi AT seas.upenn.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] seeking Coq users for an observational study
  • Date: Fri, 24 May 2024 08:36:06 -0400
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jwshi AT seas.upenn.edu; spf=Pass smtp.mailfrom=jwshi AT seas.upenn.edu; spf=None smtp.helo=postmaster AT mail-ot1-f42.google.com
  • Ironport-data: A9a23:d6WBrauRvkQ12J3Mo9yPJeuWJufnVNtaMUV32f8akzHdYApBsoF/q tZmKWuDbKrZZmqhfIojO460pkMDvJaAyNY3Tgo9qS1hRCMXgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMu8pvlDs15K6u4G5C4gRkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJGIWJrcA47ouO11x5 8AfKAs8KQ6AgtvjldpXSsE07igiBMziPYdavW05iD+FV7ApRpfMR6iM7thdtNsyrpoWTLCOO oxDMGIpME6ojx5nYj/7DLo8g/yoh1HkfjRD7k+NqKwxpWXf0WSd1ZC9b4qEJYLVH625mG6h4 WL0zkDLIShFbp+7wx+6+HWIo9LAyHaTtIU6T+DhrqE73jV/3Fc7AxoPEFC/vPORkV+7Q9sZK koO+yNoo7JayaCwZtz0Xhn9p2Ld+xBAAZxfFOo17AzLwa3Ri+qEOoQaZh1hc+Y+rZNvfwAVx GOOn+jYQiJstYTAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb3k2nojFLQPHdszHlJQwc1 Qxmu8TXuln+pcsC1qH++kyexjzw/N7GSQk64giRVWWghu+YWGJHT93wgbQ4xa8fRGp8crVnl CVV8yR5xL1eZaxhbATXHI0w8EiBvp5pygH0j191BIUG/D+w4XOldo04yGghfRk1YpddKGWwM B+7VeZtCHl7bCTCgUhfM9LZNijW5fGwfTgYfqmIMIUUO8IhHON51HoyOBbBt4wSrKTcufpiY M/EIJjE4YcyBqNgwz67D+Yb2vlD+8zN7TK7eHwP9Dz+ieD2TCfNF98taQLSBshntv/siFuOq L53aZDVoyizpcWlPkE7B6ZIcAhWRZX6bLiqw/FqmhmreVM/Qj98U6WKn9vMueVNxsxoqwsBx VnlMmcw9bY1rSevxdyiOyEzOoD8F41yt2w6NiEKNFOlkSprK4W24atVM9N9cbA7/aYxhbR5X tsUSfWmW/5vczXg/yhCTJ/fqIc5Sg+nqzjTNAWYYR8+XaVaeSr3xvHecDDCzhI+VhiMiZNmo pmL9B/qfp4YdgEzUOfUcK2Oyn2yj1g8mcVzfVn6HfdBXEPS77pVdjHVi8E0L/otMjTG/CORj CyNMCcbpM7Mgo47y8bIjqa6tLWUE/NyM05ZPmvD55OkHHD+0kv65qEYS8eOXzTWdF2syZWYf e8Pks3NaqwWrmhFo69XMuhNz5tnw/DNurUD7ABvPEuTXmSRErk6f0W3h5hehJZsmI1clxC9A H+U299gPr6MBsPpPXgRKCchbcWBzfskoSbT39tkPHTF4DJLw5TfXXVwJxWsjAlvHIlxOq4hw sYjv5cywC67gRwILN2Hr35180KhE38+aJgk56oqWNLTtgkWy195ccP9DA3y68qxcNliCBQhD QKVo6vgvI5i4HT+XUA9L0WQ4toFt68y4EhL6HQgO2W2nsH0g65r/R9JrhUyYAdn7jRG9ONRK FpUGV9RI5uRzQg1mexGYWOgICBaJRij4keq4UA4pG7YaEiJV2L2M2w2P9iWzn0Z625xejt6/ qmS7XTMCBLGXZjW8HMpeEhHr/fDc4RAxjfakpr6I/XfTogIXzX1p4SPO0wKkkLDKuEsjhTlo eJKwr5BWZfjP3RNn5xhWpio7pVOehWqP2cYfOpA+pkOFmTieD2f/ziCBkSyW8FVLczx7k6KJ J1yF/1LSiiB+n6CnhIDCY4IBo1Ervojyd4BW7HsfEotkb+UqBh3u5PxqAn6okIWQOtVrMVsE bOJKgq+EVGRi0BExE7Ljs1PYVSjbfc+OQbT4eGS8ccyLawljt1CS08J/4WRg2S0KypiphKdg xPCbfTZzstk0oVdoLHvGaRiWSSxcNP6a/uU+luKo/BxXIvqMJrIvVlErFPIAhlnZ+oNetVol IaitMz881PFsY0XDUHYucilPItY6fqiWNF4NprME0Bbui+ZSurA0gAm+V3kGadWkdhY2Nard zG4ZOS0a9QRfdVXn19RVARzDDcfDP7RQpr7hCbgscmJNAcR4TbHIPyj63XtS2NRLQ0MGp/mD z7Lq+Sc3c9ZoKtMFS07KalfWbEgG2DaWIwia9HVnhubBDPxglq9553TpSB54jTPUnS5AML25 KzefSfHdTOwhbrpye9IuIkjrzwVC3dA2dMLRHw/wOIvqT6GDz8hF98/YKU2UsQe1mS40Zzjf zjCYVczESi3D3wObRz458+lRQuFQPAHPtDiPDEy4keIcGGMCZidBKd6vDJVi5usluAPEMn8Q T3fxpHxAvR16pRgROJW4eDixOk7nLXVwXUH/U27mMv3a/rb7XPmy1Q5dDehlwSeey0OqKkPD XM4THsCXVm2T0i3HMp9E5KQMA9Mpyvhll3Ecg/WqOsyeOynIClo0/D2IKfuyrAFaoIHKKNmq bYbgYeSyzj+50H/cpfFdz7kbWGYxB5L8gWHwHffeDAv
  • Ironport-hdrordr: A9a23:jgTfOaCxP+HJa2PlHemh55DYdb4zR+YMi2TDtnoBLiC9F/bzqy nApoV56faZslYssRIb+OxoWpPwI080nKQdieIs1NyZLWzbUQWTXeVfBEjZrwEI2ReSygeQ78 hdmmFFZuHNMQ==
  • Ironport-phdr: A9a23:wl8MGBwiuU1eGsnXCzJfwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2Zv6s9xwOYFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglSmjawYLB/I Bq5oAjVq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/2bKhMxtl6JbuAyuqABjw4DaZ4GVMeBxfqLbfdgHQWZMUcJcWylHD4ihb YUAEvABMP5XoIf9qVUArgawCxewC+700DBEmmX70Lcm3+g9EwzL2hErEdIUsHTTqdX4LKMcX v6uzKnTzDXMc+lZ0irg5ojIcxAqvPaBXbB+cMrKyUkvFhjIjk6OpoP/JDOZzPkNs3CF4OpmU +KjkXAopBxsojW2wMonl4bGiJ4PxF/e6SV53Jg6Jce+SENjYdCqHp9duSGVOoZrQs4vTG5mt Sk5x7EauJO1fDUGxYk7yxPDavGKcIaF7gz9WOuMLzp2i3xodKy+ihux70Wt1uvxXdS63lZNq ypKiNjMtnYV2hzd7ciHUP59/ly71TaA0wDc9OdJKl03m6rDM5Mt3KI8m54JvUnAHiL6glv6g LKKekk+9eWk9eLqaaj4q5+YKo90kR3+Pbo0msKiAOQ5MxYBUnCH9em6ybbt51f2QK9Qgf0zi qTZsI7VJcAcpqOhBg9ayIcj6xKmAzehzNQUgGALLFxKdR6ZlYTpNFbOIPf3Dfe7nVugiitkx /fDPrH5A5XNKGbMkKv5cLpj90JRzBA/wNNf6p5OFL0NPe7/VlX+udDGFhM5Nha7w+fjCNVzz IMeXmePD7ebMKLcql+I5uMvLvKXZIALojn9MOIp5+P2jXAnn18de7Ol0oUKZ3ClBvhmJV6Wb mL2gtgdCWcKohY+TOvyhVGfSTJTfWq9X7og5jEnD4KrFZvMRoe0gLCYwCi7GoBWaXtdB1CXE Xbocp2EVO0WZCKTJM9hiD0EWqK7R48vzxH9/DP9nrFgN6/f/jASnZPlztl8oePJxj8o8jkhL cmGyGCGRilPnmJAEz0px6B+iVdww0zFzLB1hfoeGNBOsaAaGjwmPILRmrQpQ+v5XRjMK4vYI L7HatCvADVqC8k038dLeEFlXdOrkhHE2SOuRb4Tjb2CQpIuoerHx3akAcF7xj7d0bU5yUE8S 55NKnamh4Zk+gHIQZPRnkOf0aumaPdUxzbDoV+K1nHGp0RESEh1WKTBU2oYYx7Uss/552vZQ ra1T6k/Pw1Hj8OON/gCccXn2HNBQvqrI9HCeySxlmO3UA6P3a+JZZH2dn812SzcDA0Dj1lW8 yrccwc5ASilriTVCzkG+UvHRUTq/KE+rXq6ShRx1ASWdwh60KLz/BcJhPuaQvdV37QeuS5np S8mVFC6l8nbDdaNvW8DNO1VfM897VFb1GnYqx01P5quKLpnj0IfdAI/tl3n1hF+AIFN2cYwq 3ZiwA13IKOemFRPElHQlZLvIb3WAnL/9Qvpdrbb3FeY3dqLu+8O5Pk+t1T/rVSxDENxu35j0 tRTzz6d/sCQVFtUAc+3CB9vsUQg9NS4KmEn6ojZ1GNhK/yxuz7GgJcyAfc9jw2nZ5FZOb+FE wn7F4sbAdKvIaokgQvMDFpMMeZM+aozJ87jeeGB3fvhPvl7nDOOlmlO+8Zgyk+K8WxxRvOCj PNni7mImxCKUTvxlgLrsN/smYFsfjwbBSyi0SXiAshcarA4LuNpQS++ZsawwNt5nZvkXXVVo UWiC10x08isYROOblb50GW8zGwvqGe80Wu9xj1wyHQyq7aHmTfJ26LkfQYGPWhCQC9ji03tK M66lYJSUE+tZgkv3ByrgCSyj6pEv6R+B3LeSFwOYjD7KWckX6et/raPeM9A7po0vD4fCrztJ wDHDOSk+11GiWvqBCNGySo+di22t5mc/VQyk2+bIHtp7TLYdcx22RbD9YnZTP9V0CABQXowg j3WC16getixqI/MxtGT76bkDjrnCscAFEujhZmNvya6+2BwVBi2nvTo38biDRB/yijjkd9jS STPqh/4JIjtzaWzd+x9LSwKTBfx7dR3HoZmn84+npYVjDIYmY6V/FIcnG7od8hD1KT4KncBW HRYprydqBigw0BlIn+Tksj7SW6dw+N6atChJH4O1yQ7qc1GFe3Hid4M1TswqV2+owXLZPF7l TpI0voi5kkRhOQRsRYsxCGQUfgCWFNVNiv2m1GU/siz+e9JMX23f+H6hy8c1ZixSauPqQZGV DPld4c+SGVuu95nPguE0WWvuNu8KZ+AMJRJ70XSz02IyuFRLNhZeuMioy1hNCq9uHQkz7V+l hlyxdShu5DBLWxx/aW/CxoeNzvvZspV9Cu/xaBZ1t2b2YyiBPADUn0CQYfoQPS0ETkTqeWvN gCAFyc5o2uaHryXFBGW6UNvpXbCW56xMHTfKH4cxNRkDB6TQS4XyBgTRyk/l4UlGxqCwcXgd AJ++mlU6AKi7BRLze1sOl/0VWKe7AakZzEoSYSOeRpb6gYRgiWdecea7+91A2RZ5sj79F3Le jHdPV0QSz1TCSnmTxj5M7Kj5MfN6b2dD+u6dL7VZKmW7PdZT7GOzI6u1Y1v+3CNMN+ONz9sF a5euAILUHZnFsDegzhKRTYQkneHbdGApBaU4SB+tYai6PntXkTi6ZbFWN4weZ1/vgu7h6uOL bvanCFiNTNRzY8B31fNwbkbmVkO0mRgK2PrHrMHuirACqnXn+UEanxTIzM2P8xO4aUm2wBLM sOOkdL52IlzifstAktEX1js8ilGTdcHKnr7KUvKAkDNObibd2SjKyDfZKq9TfhXkLwRuUHq/ zmcFEDnM3KIkDy7D3hH1MlXgSiAegFGtYe7NBthFDq7JO8=
  • Ironport-sdr: 665089c4_8AeDE38CNUWXgs2MkPaAt445boJoiUXAqvU91TXWL2GLX+B +jKVSMmPH2Qtzz4/uCLySrmZe+gpadO62JWEL0w==

(Apologies if you are receiving this message through multiple channels.)

We (researchers at the University of Pennsylvania) are looking for participants for an observational study about how users use proof assistants. The format is for participants to do the work they would normally do, and I will observe and ask questions. Anyone who is currently working on a proof development in Coq is welcome to participate. By default, the session will last 1.5 hours over Zoom, and we will pay $45. Shorter sessions are also possible.

If interested, please fill out this form. Please also feel free to contact Jessica Shi at jwshi AT seas.upenn.edu with questions. Thank you!



  • [Coq-Club] seeking Coq users for an observational study, Jessica Shi, 05/24/2024

Archive powered by MHonArc 2.6.19+.

Top of Page