Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for volunteer maintainers of the Coq Library of Complexity Theory

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for volunteer maintainers of the Coq Library of Complexity Theory


Chronological Thread 
  • From: Théo Zimmermann <theo.zimmermann AT telecom-paris.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Call for volunteer maintainers of the Coq Library of Complexity Theory
  • Date: Thu, 9 Nov 2023 09:30:43 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmermann AT telecom-paris.fr; spf=Pass smtp.mailfrom=theo.zimmermann AT telecom-paris.fr; spf=None smtp.helo=postmaster AT zproxy4.enst.fr
  • Dkim-filter: OpenDKIM Filter v2.10.3 zproxy4.enst.fr DC50720761
  • Ironport-data: A9a23:S57DYayyqCTKFxAgG0l6t+cowyrEfRIJ4+MujC+fZmUNrF6WrkUBz TcdUT/SOvqMZTDxKItxPtni9hkOvsPcztVhSwZq+VhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Uc3l48sfrZ80o25KWq41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFO3w6heFXEEALZC98M0D39C6 u4HERAkO0Xra+KemNpXS8F+nt4kPNi3eo4ZoW0mwyux4fQOGMucBfybuZkCmm1q3aiiHt6GD yYdQSZvYROGcRxKP1oNDZs4ms+0i33yeDpd7Uqcv6sspWbJpOB0+OG2bYaPIYbWG625mG7Ap 1z+wUr0CCoDKfeWxmSYrGiO2832yHaTtIU6UefQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoAg7FasXsihGRC+u2LCsAR0t8dsLtDWITqlksL8izt1zEBeJtKYQI155J0FVnYx2 0WXntjkIzVqvffHATie77qY53f6cyQcMWZIN2dOQBon8uvThtg5rivOadJ/T4+zrNn+Qg/rz x6w8SMRurQ0jOww7Zudw2zpuTyXi6LyflYH3TmPBmOBxSFlVbGhfL2tuAT67+4fDYO3TWuhn XkjmurG3t8eCaDXxTCpcM8NF7St9dKAAiz9gEFuLbYl5T+C636uRqEOwTBcdWNCENcIRi/tW 2DX4Thu3Z50OGC7S5N3b6aaKdUY/YK5GfvLDvnrP8dzOL5vfwq5zQRSTE+33VG1tnMzkKs6a KypQez1AVk0Ua1YnSeLHcED2roWxwc792PZZbb/6z+FibO+RnqkeY0pAWu0TNISzf27+V3O0 tNlKcG15Q1VU7T+bgnp4IcjFw02AkZhN6/mif58V7ClGRVnKlEDGvWK4LIGeq5ZpYp3uNrM3 EmAXh5/9AKiq1zBcR6He1JyWoPJBJxfl082DQYoHFSv2kUgX7qR0bciR8MJWocjpcNezq9Sb vgaes+/LOxFZRbZ9h88M5TsjoxQWy66pACJPiaKXiMNQLh+TTeQ5e7UXBPk5XQLBSuWruo7m aWrjSnAcKoARiNjLcfYU+2uxFWPpkogmPp+ck/LA9tLcmDuzdRaEDPwhfoJPM08ExXP6T+E3 QKwAx1Dh+3yj6Iq0dvO34aokpyIFrZgI09kAGXr17a6Gi3E9G6Fw4UbcuKpfyjYZVzk6peZe uRZ4PHtAsIpxG8QndJHLI9q6qYi6//EhbxQlF1kFUqWSWWbMOprJ33e0PRfsqFI+KRihjK3f UCy4fhfB6SCPZL0MVwWJTd9VN+569MvpmDw48g2cWLA3w0m2JqcUE5XAQuAtzwFEptxL7Ee4 LkAvOw41lWBryQEY/e8szBs1mWTL3Y/fb0tmbMEDaTK1Ac66FFwTqbNKy3x4ZyJQcRGaUl3B BTJgKDEoex4w3jTUnssFEri2fhWqoQOtStrkn4DBQWtsfjUisAn2CZ+9WwMcT1U6RFcwsRxF GRPHG9kF5WkpjtHqpBKYDGxJltnGhacxH3U93IIs2/oF2+TSW3HKTwGC9anpUw23TpVQWlGw eu+1m3gbDfNefPx1AsUXWpOiaTqbf51xz34tPGXJea3NLhkXmO9mY6rX3QClDX/C8BohEHnm /hjzNwtVYLFbxwvs48JIKjE848PSSK0Bn1IGtBg26IrIVvyWh+P3Rq2FkTgXf8VetLr9xa0B fU7c4gLH1672T2Vpz8WOb8ULvUm1LQ17d4FYfXwKXRAr7KbqSFzvYnN8jTlwlUmWMhqjd13P 7a5m+huyYBMrSA8d67xQMh41q6Qc8EeYx3tgKa49v4VUZwZ2A2pnYfezZPs10h58iM+l/5Xg O8HT7Pby+FpzoEph4L2E74FCR/cxRbbSrGT6A7q2zhRRYqnDCoN3j/5bnH7MgBbNrwUHsx+j 7WW9tDttK8AUHDaTEiB86S8+2J1CQlekQaZ3g8b7JWXoMdaZPLR3g==
  • Ironport-hdrordr: A9a23:k3qC8KwamLF36PWcE7X7KrPwEL1zdoMgy1knxilNoG9uA6ulfq eV7Y4mPH7P+U0ssBNJo7y90cy7Lk80mqQFg7X5UY3SJTUO21HYSb2Kj7GSoAEIcheWnoU2uM YBT0EUMqyJMbEVt7ed3OD1KadF/DBZys6Vuds=
  • Ironport-phdr: A9a23:9DnLhBI1djUsIPZvIdmcuE5vWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtbM01geCBNyGo9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtLiTanfL9+M gm6oQrMusULgYZpN7o8xAbOrnZUdOtawn9lK0iUkxjg+Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRbMUQWA6H0cUn4LkhVTGAjK8Av6XpbqvSTksOd2xTSXMtf3TbAwXjSi8 rtrRRr1gyoJKzI17GfagdF2galGohyuugZ/zpbXbo+bO/VxcL3Tc9MHS2VdUchcTDBBD4GmY ocTE+YNI+RVoo/grFUOtxu+AgysCfvxxD9InHj22rAx3OcgEQHD2QwvAcgOsHHOo9XzMqcZT Oe4zLXIzTrdaPNawzb86InNchAkv/6MR7dwftDXyUkpDA7FkkufqYj7MDyJ0eQNtnGX7/J6W uK1im4nsBt9oja1xso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8H5ZdqjyXOot0T84sX21lu jg3x78atZOncyYEyJAqyh3QZfCbboSF/xDuWeePLDpmgH9oe7Gyihas/UW+xePwS8+520tEo CpCl9nDrHEN1xrL58iIS/t94keh2SuU2AzJ9u5EJkU0mKzGIJAi2r49jocfvErBEyPshUn7i KCbel869uSy9ejrfLvrqoeCO4Bulg3zPaEjl8+hDuskLgQDWnSX9OGh2LDh/ED0RbZHg/Iqn aTbtZ3XIdkUq6GlDwJQ0Ysv9hmyAyuj3dsGg3UHIlRIcw+ZgojtJlHOO+z4Aumlg1qxkTdqx u7JM6X9DpjLM3PNiq3ufaxn5E5Z0Aczzc5Q55ZTCrwZIfPzQlXxtNvXDx45PAG42fjoCNNm1 oMCQ26PDLWZPLvTsV+O+O0vP/GBaJIbtTv/MfQp+vrjgHAjlVMDZ6Wlw4UbZX6gEvRjOUqZY H7sgtkbEWcNuwozVPDqiF2cXj5UfXqzXqM85jQ+CI24F4fDQ5qigLqH3CqgAp1ZeGRGBU6QH nfvcoWIQu8MZziIIs9giTwIT7ahS5U52RGorwD106BnIfbM+i0EqZLj08B46/DLmREo6TN0F 9id032KT2xsgmwIQCY20Lljrkx511eMyrN1g+dYFNxW//NGSB02NZ/az+xgCtD9QBjNftmTS AXuftLzCjYoC9k13tUmYkBnGtzkgAqQ8TCtBuoplz2MTK4196fRxX34IcA1n2rG2a5nnVgjR 8ZVMGSggIZj+gzeDInM1l2QjaexM6oGin2evFyfxHaD6RkLGDV7Vr/ICCh3jir+qN344hmHV LqyEfE9NQAHz8eeK6xMY9mvjFNcRf6lNs6NK3mplTKWAhCFjqiJcJKsY38UiTndBU9CgQEW+ HucMAE4AA+9rmbTBztrUErmeUL3t+dk+zugVkFh9wiRdAV60qatvBschPiSUfQWi64EtSBnu TRxGVun2tvQDfKcqg5sd6JZJMs0+lZck2zD5ERmJpL1CadkixYFdhhv+UPj0xIiEoJbjc0jt 28n1iJgMbifwEIdMT6exoy2NKe/xnDa2hepZuaW31jf1IzT4aIT8LEirF6lugi1F00k+nEh0 t9P0nLa6I+YRAwVGYn8VEo67X0Y7/nTfzU96oXI1HZtLbj8sznM3MgsDfckzRDodslWMaeNH gv/W8MAAM3mJOsvklmvJhUKWYIavLI0MsTgZfqD3aOxOe9mmhq6gGBK64d4l1qF7StnDODSn t4Ez/yewgqbRmLkll7y16K/0YtAZDwUAi++0X29X9EXP/wuO9xNUz31cKjVjp1kipXgWmBV7 gumDlICgoqyfAaKKkb61ktW3FgWpnqunW25ySZ1mncntPn6vmSGzuL8eR4AImMOSnNliAKmP Yi5iJYIXU2tYhIsnR2jzVr3w6VQo6E6N2DJQFwOcTK8fAQAGuOg86GPZcJC8sZirSVaV6KuY FWfR6T4qh0c+z/uG2ZVwzV+bziwu46/kQYw2wf/ZD5j6XHef8933xLW4tfREOVQ0jQxTy59k TDLB1K4MrFF5P2snozY+qC7XmOlDNhIdDXziJmHv2297HFrBhu2m7aynMfmGE40y32z295vX CTO5BHyB+ujn7i6POUhbEhtAVLm7sN8HKlin489j5YVnGATnJSOu3Qd2Wv+KtRU36viYWFFH GVUhYeEvE6/nhc5dTqA3OebHj2Fz9FkZsWmb29ewS87481QSe+V4LFCgSppsw+9pAPVb+J6m 2RVwv8v5XgGxuAR7VN2kWPEU+xURw8CZ3e/8nbAp8qzp6hWemu1JL251U4k2MukEKnHuAZXH nDwZpYlGyZ0qMR5KlPFlnPpueSGMJHda8weshqMnlLOle9QfdgtlvcNwzhmPGfwp3gszegTk RFq0Jq9uc2fIn9s5+S3GFQLU1+9L9NW4TzrgatEy4yK342oWIdgHzAGRp7hS/SADD8WuP/gM kOWGSc9sTGVA/CMeG3XoFcjpHXJHZexMniRL3RM1tRuSi6WI0lHiRwVVjE3zdYpUxqnz8v7f AJl9ygcsxTm/wBUxLsiZHydGi/P4R2lYTAuRN2DIQpKu0tcslzNP5XW7/ovTXgDodv4/VDLc CrCNl4PVjlsOATMBki9bOP2vYCSrbbAVLHld/WcO+fcorQZDq3WjZO3jtk/pGnKb5TTeCMkU 6BeuAILXGgnSZ6Bw2xdFXJPxXmWN8DJ/kXuoCE/r9jjoq2wB0S2tNfJUf0LaoUooEnT4+/LN vbO1nwhcW8KiM1UlySTkLZNhgxA2ygpLmPyWbUY6XyUF/2Ww/4LSURdMXkrc5AQisB0lghVZ 5yB0oushOAm1qxuUA9LBwazyM2iIpVQfSnqPVfDTi5nLZygIjvGi4HyaKK4E/hLiflM8ge3s nCdGlPiOTKKk3/oUQquOKdClnPTOhsWo4y7fht3bAqrBNv7dh22NsN2hjwq0PU1gH3NL2sVL Tl7dQtEsLSR6SpShvg3FXZG6zJpKuyNmiDR6Oe9SN5eqfxwHiF9jP5X+lwo06FS/DAYAvFzg zeUoMQv61Cqn++TyyZ2BRpDrjEY4eDD9U5mOKjf6txBQSOdp01LtDTMTU5M/YE+WbiN8+hKx 9PClbz+MmJH+tPQp44HAtTMbdiAOzwnOAboHzjdCE0ESySqPCfRnR848rna+3uLo5w9spWpl oAJT+oRSFw4EbUIC0FgEcYHKZFxdi8plbOQi8tN/XOkrQKXSt8Q7fWlHrqCRO7iLjqUl+wOf xwT3bbxNpgeLKXpw1Zlekgm2onMAFaWU8oH8UgDJkck5U5K9nZ5VGg63UnoPxis7HEkHvmxh hcqiwF6bIzFFR/++00wNkuW4iY2i1V3l8+32Vh5nxbtIaO9VoZTTjL9rUkqdJ3hEV8dheiag UFgOTzDQvdJhqFhbiZlkl2E0aY=
  • Ironport-sdr: 654c98bc_5pnH1o3+xgfMgmfJ2McXEItCpy0gsLOMNbQ8H4Uk+3f60f6 zCl+Ab5UaN72PlkuXWMQUdB572ewzRFITAq3uuQ==

Hello,

Coq-community is looking for looking for volunteer maintainers of the Coq Library of Complexity Theory project: https://github.com/uds-psl/coq-library-complexity

As per the name, the library contains definitions and results related to computational complexity formalized in Coq, including NP-hardness, the Cook-Levin Theorem, NP-completeness results, and resource analysis of call-by-value lambda-calculus and Turing machines. Results from the library have been the subject of four research publications. The library builds on the Coq Library of Undecidability Proofs: https://github.com/uds-psl/coq-library-undecidability

The project has been unmaintained since November 2022 and currently supports Coq 8.16. An initial task for a new maintainer would be to ensure that the latest released version of Coq (currently 8.18.0) is supported by the project.

To volunteer, please respond to this GitHub issue: https://github.com/coq-community/manifesto/issues/150

Please include a brief motivation and summary of relevant experience for becoming a library maintainer. It is appreciated if volunteers also indicate their plans for the library which, e.g., could range from maintaining compatibility with the latest released version of Coq to making substantial additions.

When needed, maintainers can expect assistance and helpful advice on practical tasks such as continuous integration and packaging from experienced Coq-community contributors, many of whom are members of the Coq Team.

Thanks!



  • [Coq-Club] Call for volunteer maintainers of the Coq Library of Complexity Theory, Théo Zimmermann, 11/09/2023

Archive powered by MHonArc 2.6.19+.

Top of Page