4 ms·
Coq theorem prover. I'm tired of writing tests, I would rather write proofs. Can the code just be reliable and correct? That's all I want.
by ironmagma 4y ago
Coq theorem prover. I'm tired of writing tests, I would rather write proofs. Can the code just be reliable and correct? That's all I want.