<div dir="ltr">Just in time for Fall courses... the Software Foundations team is pleased to announce a new release of all six titles in the <a href="http://softwarefoundations.cis.upenn.edu">SF series</a> of formally verified textbooks on programming languages and formal reasoning about programs.  <div><ul><li>Volume 1: Logical Foundations</li><li>Volume 2: Programming Language Foundations</li><li>Volume 3: Verified Functional Algorithms</li><li>Volume 4: QuickChick: Property-Based Testing in Coq </li><li>Volume 5: Verifiable C</li><li>Volume 6: Separation Logic Foundations</li></ul><div>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.</div><div><br></div><div>Enjoy!</div><div><br></div><div>    - Benjamin</div><div><br></div><div></div></div></div>