Jonathan Blow on formally proving software

23K views

Blow Fan

1 month ago

Jonathan Blow on formally proving software

Jonathan Blow on formally proving software