2 ms·

As an American, I feel like I have to deliberately mis-pronounce 'coq' the theorem prover like 'coke' the soda.

• ironmagma 6y ago
  Same. It really doesn't help that their logo is skin-colored and the shape that it is...