Y youtube.com Algebra of Programs: Proof of equality of programs [video] 3 points metazip 3 years ago 0 comments