3 ms·
This is awesome. Proofs about runtimes increase confidence for all their users - or tell us what needs fixing. I hope to see more of this kind of thing.
by dwheeler 5y ago
This is awesome. Proofs about runtimes increase confidence for all their users - or tell us what needs fixing. I hope to see more of this kind of thing.