4 ms·Isn’t unit testing redundant when also using formal verification (e.g., coq)?by koprulusector 3y agoIsn’t unit testing redundant when also using formal verification (e.g., coq)?