Program Proofs

This page contains examples and exercises from the textbook external page Program Proofs written in some of our tools, including Viper, Gobra, and Prusti. This is ongoing work; as such, we do not yet provide translations of all chapters of the book to our tools.