3 ms·
Ah sure. I interpreted "proven correct" to mean "proven correct wrt a set of invariants" in this context.
by p0llard 6y ago
Ah sure. I interpreted "proven correct" to mean "proven correct wrt a set of invariants" in this context.
loading thread…