[TYPES/announce] New Software Foundations release

[Benjamin Pierce]

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
<http://softwarefoundations.cis.upenn.edu> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210825/d58b62ed/attachment.htm>