3 ms·

> The actual job of a computer scientist is writing proofs in Coq I was with you, but then this analogy went too far.