3 ms·
I'd be surprised if the 1970s proof was both machine-checked and about the actual code (not an abstraction of it).
by abecedarius 17y ago
I'd be surprised if the 1970s proof was both machine-checked and about the actual code (not an abstraction of it).
- kragen 17y agoUnfortunately it's an ACM paper, so I guess we'll never know.