Program Proofs - Solutions to Exercises in SPARK 2014

Project information

Some solutions to the exercises from the excellent book "Program Proofs" by K. Rustan M. Leino in SPARK 2014.

Created on

July 21, 2024

Copy SSH clone URLgit@gitlab.com:dvraaij/program-proofs-solutions-to-exercises-in-spark-2014.git
Copy HTTPS clone URLhttps://gitlab.com/dvraaij/program-proofs-solutions-to-exercises-in-spark-2014.git

Loading