Stable Matching & Proof workshop