Writing those tests feels like proofing mathematical theorems Uh, not really. Have you ever written tests for functions in math? It's a pain in the ass once yo

Writing those tests feels like proofing mathematical theorems Uh, not really. Have you ever written tests for functions in math? It's a pain in the ass once you get past 5 variables. This is why we have proofs in the first place, to prove that something is true for each and every case without having to run through every test...