|
|
|
|
|
|
by kazinator
3265 days ago
|
|
|
I will have to read this to understand what we can prove with this; or rather, what kinds of wrongs in a program under this theory are usefully proved to be false. --- Ouch; did you see that "overfull hbox" that got rendered out in the first line of paragraph 3 of the Preface? :) |
|
|