Jonathan Blow on formally proving software

Channel: Blow Fan
43K views • 1y ago