[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
