Algebra of Programs: Proof of equality of programs [video] #1 Post by metazip » Sat, Aug 19, 2023, 8:32 PM UTC Algebra of Programs: Proof of equality of programs [video]youtube.com