Program Proofs
This page contains examples and exercises from the textbook external pageProgram Proofscall_made 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.