4 ms·
But he did say 'a few hours'. That sounds about right to me.
by gustavo_duarte 17y ago
But he did say 'a few hours'. That sounds about right to me.
- davidw 17y agoOk, but he's talking about it in the context of attempting to write provably correct programs.