2 ms·
The general case is for arbitrary programs. That's not the important case. You want to prove things about _this_ program which you've written, not about all pro
by JonChesterfield 3y ago
The general case is for arbitrary programs. That's not the important case. You want to prove things about _this_ program which you've written, not about all programs.