coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Roux <pierre.roux AT onera.fr>
- To: coq+announcements AT discoursemail.com, coq-club AT inria.fr
- Subject: [Coq-Club] Coq 8.20.0 is out
- Date: Wed, 11 Sep 2024 09:56:26 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pierre.roux AT onera.fr; spf=Pass smtp.mailfrom=pierre.roux AT onera.fr; spf=Pass smtp.helo=postmaster AT onera.onera.fr
- Ironport-data: A9a23:MI5inahIFaiVNFd9rOqFmpKsX161PRsKZh0ujC45NGQN5FlGYwSy9 lOraxnFY6jUMyawOYxoOc7lxf41ycTczddiSwo/qy9nEChG9pCZC96XJUz8NCjLJcPPQRk+s J8VYYDOfMw/F3aArE+gOLLv8SIgharRS7GlBrabMC4ZqWOIMMsEoUsLd7kR29816TTAPz6wh D/SnyH+EAD+gWIlaj4Yuv7Yok8zsaz76GJF4QA0PfoQt1OPyCZNJZ9OfqvZw1nQEtAFRLbiL wrg5OjkpT2Bp09F5veNyOuTnpgiG+aKVeS2oiMKHfLk2HCunwRquo4jLv0QdExLvDuAmtF12 b1luIe5IesTFvSkdN81DV8BS0mSAYUcoOWbeSnm6JTKp6H7WyKEL8tGXBle0bIwob4f7VFmr ZQwND0LZxafsOO6qJrTpj5E26zPhOGyVG8ukikIIQPxVZ7KcrifK0n+3uK06R9r7ix48VkyU OJCAdZnREyojxSioT77Arpm9AujriGXnzG1NDt5DEf4ioTe5FUZ7VTjDDbaUo3TSMpwvxi1n 1PDvCPQKw4KFJut5QPQpxpAhseX9c/6cIUUGaexsPlsjUeagGIJYPEUfQLn/b/j0hL4BY8Zd yT4+QJ2xUQ23FSqQ8PnUluip2OUlhkaVsBZVeMggO2I4vuKu17AVzBfJtJHQO4vlPNnSy077 3PXuOnUPQdrvvqZEkvIo994qhvpZHFEdD5fDcMediMO5MCmq4UuhDrUX9N7Gei0iMf0EHf+2 Vi3QDMWgLMel8dN0KO251mBjSjESoX1ohAdt1zaUUeEsC5AVYvmIKWB9kj7qsRsFdPMJrWeh 0Qsl8+b5eEIKJiCki2RXekAdI1FAd7fYVUwZnY0Q/EcGySRxpK1QWxHyB9ETHqF3+4DfzLza QnUvw5L7dldJhNGjJObgarvU6zGLoC5S7wJs8w4iPIUM/CdkyfdrUlTiba4hTyFraTWrYkxO I2AbeGnBmsABKJswVKeHrhHjO56nXpunT+KGfgXKihLN5LENRZ5rp9ZbDOzghwRtctoXS2Lr osEaaNmNT0GDoUSnRU7AaZIcAlbdClmbXwHg8tRe/SKak8uH28vCvTcibUoZ41ima1R3uuH8 22gVkJDgFfjzXHKYR+HYXBucrjvUI03pH8hOjc0NEqp0nwueu6SAFQ3LPMKkU0c3LU7l5ZcF qBdE+3ZW6QnYmqcoVw1M8KixLGOgTz232qmJTS+WjEjcvZIHkqRkjMSVlGxpHBm4+venZZWn oBMISuCEcNYGF46VJaJAB9tpnvo1UUgdCtJdxOgCrFulI/EquCG8gSg069lENJGMhjZ2DqR2 iCfBBpS96GHoJY4/JONzeqIppugWbk2VEdLPXjp3ZDvPwnj/02n3dBhVsSMdmvjT2/awvipS thU6PDeC8c5umh2nbByKJtR9pJm1eDT/+db6i9GAET0a0+aD+I8A3ueguhKmK5/5p5YngqUR EiKxMhrAuiMM8LEC38UHhIuNc6Y5MEXmx7TzPU7G1r77ylJ54i6UV1eEh2PqS5FJp53Dd8V+ vggs8so9ACPsBomHdKYhCRy9W7XDHg/f4g4l5MdWqnHtxEKzwxcXJniFSPG2pGDRNFSOE0MI DXPpq7jhaxZ93XSYUgICnnB8upMt6sg4CkQ4gc5GG2Ivd7Zitsc/h5bq203RzsI6CR36bt4P 2wzOnBlIamLwSxTu/FCeGKRACBEOgyS/x3g6lkOlVCBdXKSaE72EDQfN9qOrWcjyEANWhhA/ bqd9nTpbiayQuH1wRkJeBBEr97NcIVP0zPsye6bG/aLJZ0YWQbeo7SPYDMIoiT3AMlqi0zgo /JrzdlKaqb6FHAxpvwmObm41ZAVegGlJXNDc95l7qgmDWHRQxDs+DmsemSaWNJBGOzOymC8U /dRH8NoUw+v8hqOohQwJ78+E5UtkNEHvNM9K67Wf0gYuL6hnx9VmZP39BmmolQ0Qt9rwP0PG qmIex2sSmWv1GZpwUnTp8x5O029U9kORCv4+MuXqOwpNZYygNtAQHEI8ImfniuqaVN83heuo gn8SbfczLVixaRSjoLcKPh/KDvuG+zjdtaj0V6ViMtPX+PtIM2VlgIyq3vbBSp0E4YVeexKk eWqjIaq8mLD5K07QkLIqamnTqNp3/i/bMBTE8DwLURZoxe8Zd/R00MD1VyVeZ1tu/FB1/ajX Dq9OZeRd8ZKetJzx091Sil5EjQDAaHJf5bb+D23qsqdOyNA1AfGDciG8EXxZjpxbR44OJzZC y71tc2x59tekp9+OR8cC9xiAL56OFXGS4J8U/HQ7B62VnKJhHGGsZvczSsQ0ynBUCS4IZyr8 KD7SQjbXzXsnqPxlfVykZF45z8TB1ZD2dgARFoXoYNKumrrHVw9DLovNLsdActpiQ307pbzY Q/NYEYECSnQWTdlcw320O/8XzWwV/A/BdPkGgMHp0+kST+6JIelMotT8i1N53RXeDy66MqFL doY2GP7Pznv45VPaNsQ2MeGgrZc9quH/k4LxEHzrZWjSVJWS7AHz2doEwdxRDTKWZOF3lnCI W8uA3tIWgenQEr2CtxtYGNRBApfhj700jE0dm2a9b4zYWlAIDFok5UT+t0f04HvqOwNIrMUT DXwQWaX6iaYwBT/fIM37skxj/Yc5e2jR6CHwG3LHGX+XJ1cLkwgOc4YlGwBVqnOPSZBRkjFm GDED2cWXSy4xYM45FFS4QIP9oh4FHwWZ90MYMgTuhee+SEEIxPll9RGAe41xVwca0QugqmAf AovUQ==
- Ironport-hdrordr: A9a23:qZfKxqHLtG6qLTk3pLqEjceALOsnbusQ8zAXPmRKOH9om62j9/ xG885w6faZslsssRIb+OxoWpPvfZq0z/ccirX5Vo3MYOCJggeVEL0=
- Ironport-phdr: A9a23:ah5XvReKNEeRN++E+OgD/aoVlGM+UdTLVj580XLHo4xHfqnrxZn+J kuXvawr0ASRG9yEs7kd0bGempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb69+I A+roQjTqsUajpZuJrg/xxDUvnZGZuNayH9nKl6Ugxvy/MC88oJ9/S9Nofwh7clAUav7f6Q8U 7NVCSktPn426sP2qxTNVBOD6XQAXGoYlBpIGBXF4wrhXpjtqCv6t/Fy1zecMMbrUL07QzWi7 6NsSB/1lCcKMiMy/W/LhsBsiq9QvRSsrAF9zYHJeoGYLPRwcKPDc90HRmROUdpeWDFaD4Ozc 4cCFfAMMfpEo4XjoVYFsBuwBROrBOPq0jJGnH720rMg0+Q7Dw7NwRAuH9UTsHXbsd74M78SU eGrw6nS1zXMcela2S366IjVfREsuvaMXbRufsrL00YjDQ3Fjk+JpIHjIjia2fgDvXKB4Op8S eKglXQnqwdprzWhxcoglJfEi4EXx13L6yl3z5o5KNOmRUB7ZdOpH5VeuiWbOoZ0XM4vX31kt Dokx7Eat5C3YCgExZY6yhLCZPGKdZWD7BzkVOaUOzh4hXRldaq+hxa060igy/fzWtO60FZQq CdOj9rCtmgV2hDO5cWKReFx8lm91TuAzQze6+FJLVo7mKbDNpIszLE9moANvUjeACP6glv6g LGZe0k++eWl6eLqaaj4q5+YKo90kR3+Pbo0msKiAOQ5MxYBUnCH9em6ybbt51f2QK9Qgf0zi qTZsI7VJcAcpqOhBA9V1Jgs6wylADu819QYm2cILEhfdx6dgYjpIUnCIPH+Dfihn1ShiCpny v/JM7H7HJnBMnfOnK3gcLt98UJRxxI/zdVF6JJVDrEBLujzWkj0tNHAFh85MhK7w/z9CNpjz I8eQ2WPArKWMa7Jtl+I4PwgI/OWa4MPtjb9MeAp5/j1gnAhg18SYbGp3YcLaHC/BvlqPl2VY WDwjdcZDWcKog0+QfT2h12FSD5ffmq9X6Yh5j4gE4+mFofCRoW1gLObxiu7H5tWZnpHCl+WC 3voeZ+ECL8wb3eZJdYimzoCUqWnQIIk2Beyryf2yqFsKffO4SAdvJPnktNy4qmbnhYrsDdwE s610meXTmgykHlbaSUx2fVHoEFn0FrL669lk7QMDd1e/elEFB09KI70yOp3Edm0VBiXLYTBc 0qvXtjzWWJ5ddk22dJbOy6Vev2nhxHHhG+xBqMN0qeMHNoy+77d2H74I4B8zWzH3e8vlQpuW dNBYEuhgKM37A3PH8jRiUzMj6enb74RmjTK6XerymyDpkgeXhQjGb7dUyUnb1DN5c/8+luES ravDbo9NQ4U0c+PMLFHLMfukEVuQ/HuIt2YbXji03yoC0Owz6iXJJHvZ31b3CjZDx0clBsP+ H+dKQUkLiCnrnjXSjtoGEjmJU32mQVngFW8SEJ8jwSDbkk6kqGw5gZQnvuEDfUawrMDvi4l7 TRyBle0mdzMWZKGoEJ6caNQbMlYgh8P3H/FtwF7Ip2rLrxzzl8YfQNtukry1hJxQoxemMkup XkuwUJ8M6WdmF9GcjqZ29j3NNi1YiHq/R21caOQwFbDwP6R/KoV4bI2sRSrvQ2kEFYj72Qyy 8NcgDOX4pTHChZXUIqkCxprsUIi+/eEP29htOa2nTV2PKK5syHPwYcsDeohkVO7estHdbiDD En0GtEbAM6nLKornUKoZ1QKJrM3luZ8MsW4ev+BwKPuMvxnmWfslWVK+ppwlFiL6jpUTejFx Z9DzevSjW7lH3/syUystMz6g9UOfTAfBHCyjzLjGZ55Yat/Z49NB33kcKjVjp1uwpXqXXBf7 luqAVgLjdSodRSlZFv4xQRM1E4TrBRLgAOAxidv23Esp6ubh2nVxvj6MQEAIihNTXVjilHlJ c61icobVQ6mdVphmByg7Ef8j69VwcY3Z3HSTF1Scm7sKHxyeqy2u6CLJcBVoJ8lqiRYVu2gb EvSE+Kh5UFCj2W9Qi0CjDkgPymnoJD4gwB3hAf/ZD5ooXzVdNsxjRbT6drAROJAiz8PRS12k z7SVRC3O9ik+8nRlo+W67ziETj5CtsNLG+3nubi/GOh6GZnAAOyhaW2k9zjSk0h1DPjksJtT WPOpQr9ZY/i0+K7N/hmdw9mHgyZiYIyF4dgn483nJxV12Idg8Df5XsKi33+d89cxLLWa3wAX zdNzcSfs22HkAVza2mEwY70TCDX2spsfcO3JHkRxzIV6MZHEq7S4qYOzk4X6hKo6AnWZ/Z6h DIUz/AjvWUbj+8+sw0o1iyBA7oWEBoQLWn2mh+P9dz7sLRPaTPlb+2rzEQn14PEbvnKskRGV X3+YJtnASJg8pA1LgfXyHOqooD8JIuJMY5V7EXI1UmdybQdIcA2kPcQjGxgP2/ntDsr0YtZx VRvxc3o5dTbbT81oOTgXFgFfjztO5FKoW2r1/8E2J/Hh8bzVpRnETEWUJa6V/+jCi8TqfHuN gLIGzo5zxXTUbONGB/Erl1rpGjSEoyuPnCTYnIeyJ1jQhKZOUBS0hsMUnMihJklGwu2xcvnN kBk+jQW4V2+oRxJr4Agf1z2VmOVzOuxQg89U4PXbB9f7wUZolzQLdTb9eVrWSdR4pymqgWJb G2dfQVBS28TCASIAFXqP7/m4telkaDQHu2lM/7HeqmDs8RZUfqSzNSo1IZ89nCCLI2DM2JjA PsyxkdYFSklR4KDw2lJFXFRy2rEdKv57F+k9zdyr9yj/fijQw/p6YaVSvNTPdhp5xGqkPKDO uqX125yLTdV0I9JxGedkeRDmgRK12cwKn/xQtFi/WbXQandm7FaFUseYiJ3b45T6r4kmxJKI Yjdg8/00bhxirg0DU1EXBrvgJLMB4RCLmejOVfAHEvOOq6BIGiB28D6e7mxD6dXkfV8sBu9o z/dHVWpbVHh33H5EguiN+1BlnTRJBtFpIS0aQpgE0DkSt/8Y1u8NtJthHs42/dn4xGCfX5ZO j96fURXq7SW5i4NmfRzFVtK6X99JPWFkSKUvKHIb4wbuvxxDmFohvpXtT4knqBN4ngOF5kX0 GPC68RjqFa8nqyTxyp7BVBQ/y1TitvDvF0+a/yFqt8aASqCok9LsS3VAhAO7bON6/Xova1Kw 57Ikq/pIXFM6YCNlSPzL8/SJdiOdnQ7Y0OB8Nv8Cw0IVzftO3uN3yRg
- Ironport-sdr: 66e14d2d_dmU4fcMYUHbjViKZxAVBXUhT4fuZ62U4pQsdzzqX+05+0H2 Bok8YuYkPOdVKkHXUV07hEtRv+tU/HWcn79pOYQ==
We are proud to announce the immediate availability of Coq 8.20. This
version adds a new rewrite rule mechanism along with a few new
features, a host of improvements to the virtual machine, the notation
system, Ltac2 and the standard library. This release has been made
possible thanks to the work of dozens of contributors and reviewers,
see the
[changelog](https://coq.inria.fr/doc/v8.20/refman/changes.html#version-8-20)
for full credits and detail of changes.
Coq 8.20 is available, along with a number of libraries, as OPAM and
Nix packages or in a Docker image.
Pierre and Guilaume, on behalf of the Coq development team
Attachment:
signature.asc
Description: PGP signature
- [Coq-Club] Coq 8.20.0 is out, Pierre Roux, 09/11/2024
Archive powered by MHonArc 2.6.19+.