coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] New Software Foundations release

From: Benjamin Pierce <bcpierce AT cis.upenn.edu>
To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr
Subject: [Coq-Club] New Software Foundations release
Date: Wed, 25 Aug 2021 22:53:00 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT seas.upenn.edu; spf=None smtp.helo=postmaster AT mail-pf1-f182.google.com
Ironport-hdrordr: A9a23:PgPhiq4vkX0afJvTrwPXwMXXdLJyesId70hD6qkRc20zTiX8raqTdZsgpHzJYVoqOE3I+urgBEDjewK/yXcd2+B4VotKNzOW3VdAQrsSibcKAAeNJ8Q9zINgPGtbHJSWweefMWRH
Ironport-phdr: A9a23:cE9fLh2hWylcd+gTsmDODAQyDhhOgF0UFjAc5pdvsb9SaKPrp82kYBaHo6Q0xwKWFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qr2+yo/5DffgpEiTq/bLhvMBi4sALdu9UMj4B/MKgx0BzJonVJe+RS22xlIE+Ykgj/6Mmt4pNt6jxctP09+cFOV6X6ZLk4QqdDDDs6KWA15dbkugfFQACS+3YTSGQWkh5PAwjY8BH3W4r6vyXmuuZh3iSRIMv7Rq02Vzu/9admUBDnhicJOTA67W/ZlNB/gblBrx69vRFy2ZLYbJ2XOfd4Y6jTfckaRW1EXstJSiFOHIW8b4kVAOoEPOZYqZT2qUEPrRSgHwmjGP3gwSJPi3DtwaI6y+UhHh/c3AM8Ad0Dq2jbrNTuNKsITOC11LfHzTPFb/9Mxzjy9ZXIfwknrPqRUr1+bdDfxlMzFwPZkFqQs4rlMiuI2ukCs2aX8/ZtWO2xhmI7tw18oiaiy8koh4TKiI8bxVDJ+TlnzYs0ONG1VkF1bN+kHpZStSyUN4p7Tt08T2xrvisx17MIuZm+fCcQyZQnwQbSa+Gfc4eW5BLjUvydLilli3J4fr+0mhW88VC4x+HiSsW51ExGoylFn9XWqHwBygDf5tKaRvZ+4Eus3yuE2RrJ5eFeO080kLLWK54/zb40kZoeqUHDETX3mEXylaOWbksk9vWx5+Tpf7nrpYGQO5V7igH5NaQulci/DvoiPgcSWGib/Pyw1Lzl/ULnXLVHluM6nrXdvZzAJskWprS1DxFI3oo/8RqzEjSr3MoAkXkCNl1FeRaHj4bzO1HJJfD1FeywjEi0kDdq2f/GJKHuDYvWI3jYjrjuZ61951RByAor099f4ZRUBqsfL/3uR0/9rMbYAQMhMwyo3+bnD81w2Z8ZWWKWG6OWLKfSsUKT6e80OOmNZIoVuC7nJPQ/5v7ui2U5mV4HcqWz05sXciPwIvMzP1SBbGGpi9EHFnoMtQcWSO3xlEbESjNafDCvR6864Hc2BJ/iRYzEX8WmhKGL9Ca9BJxfIG5cWX6WFnK9XYiCWf4JaSTaGs5siDcJHeyrQJcg2AuluSfxyqEhM/LZ/CteuJ7+gosmr9bPnA0/oGQnR/+W1HuAGjkcdoIgQjY32OVnrxU4xA7Ti+53hPtXEdEV7PRMAF9S3Xv0xO1hTc3qVwTHONqFVQT+Kj1JKSo8R8l33scDZUA7Ftm/3Emr4g==

Just in time for Fall courses... the Software Foundations team is pleased to announce a new release of all six titles in the SF series of formally verified textbooks on programming languages and formal reasoning about programs.

Volume 1: Logical Foundations
Volume 2: Programming Language Foundations
Volume 3: Verified Functional Algorithms
Volume 4: QuickChick: Property-Based Testing in Coq
Volume 5: Verifiable C
Volume 6: Separation Logic Foundations

This release is compatible with Coq 8.13 and includes improvements to notations, several new chapters in the Verifiable C volume, and many, many other additions and refinements.

Enjoy!

- Benjamin

[Coq-Club] New Software Foundations release, Benjamin Pierce, 08/26/2021