Hacker News new | ask | show | jobs
by koprulusector 1088 days ago
Isn’t unit testing redundant when also using formal verification (e.g., coq)?