3 ms·
Problematic in that it's still not formal verification, not problematic as in "it's worse to do this than not".
by zamadatix 11mo ago
Problematic in that it's still not formal verification, not problematic as in "it's worse to do this than not".