2 ms·
If you can formally prove correctness then brilliant, go for it! That's not something I've seen or been able to achieve in most of my professional work.
by simonw 11mo ago
If you can formally prove correctness then brilliant, go for it!
That's not something I've seen or been able to achieve in most of my professional work.