I'm very curious about the form of this harassment. It's hard to imagine. Maybe if you had extremely immature colleagues, but even then, "harassed"? - Hey, wha

I'm very curious about the form of this harassment. It's hard to imagine. Maybe if you had extremely immature colleagues, but even then, "harassed"? - Hey, what are you up to? - Working in Coq - Hu-hu you said "cock" Presumably any adult would be aware that the name is "funny" and would be careful when replying and say something like "working on formal proofs", "programming" or "maths" instead.