[Pitstop] Proof

Proof Extras

Additional content and exercises for the Proof chapter.