Notes and exercises for the book "Certainty by Construction" - View it on GitHub