Jonathan Blow on formally proving software Channel: Blow Fan43K views • 1y agoRelated VideosJonathan Blow on Replacing C++Jonathan Blow on Open Source Software