Examples and exercises from the book Program Proofs translated Viper. - View it on GitHub