ਪ੍ਰਮੇਯ ਸਾਬਤ ਕਰਨ ਵਾਲਾ ਟੂਲ Coq ਆਪਣਾ ਨਾਮ ਬਦਲਣ 'ਤੇ ਵਿਚਾਰ ਕਰ ਰਿਹਾ ਹੈ

ਪ੍ਰਮੇਯ ਸਾਬਤ ਕਰਨ ਵਾਲਾ ਟੂਲ Coq ਆਪਣਾ ਨਾਮ ਬਦਲਣ 'ਤੇ ਵਿਚਾਰ ਕਰ ਰਿਹਾ ਹੈ। ਕਾਰਨ: ਐਂਗਲੋਫੋਨਜ਼ ਲਈ, ਸ਼ਬਦ "coq" ਅਤੇ "cock" (ਪੁਰਸ਼ ਜਿਨਸੀ ਅੰਗ ਲਈ ਗਾਲੀ-ਗਲੋਚ) ਇੱਕੋ ਜਿਹੇ ਲੱਗਦੇ ਹਨ, ਅਤੇ ਕੁਝ ਮਾਦਾ ਉਪਭੋਗਤਾਵਾਂ ਨੇ ਬੋਲੀ ਦੀ ਭਾਸ਼ਾ ਵਿੱਚ ਨਾਮ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਸਮੇਂ ਦੋਹਰੇ ਮਜ਼ਾਕ ਦਾ ਸਾਹਮਣਾ ਕੀਤਾ ਹੈ। ਕੋਕ ਭਾਸ਼ਾ ਦਾ ਬਹੁਤ ਹੀ ਨਾਮ ਡਿਵੈਲਪਰਾਂ ਵਿੱਚੋਂ ਇੱਕ ਦੇ ਨਾਮ ਤੋਂ ਆਇਆ ਹੈ, ਥੀਏਰੀ ਕੋਕੈਂਡ। ਕੋਕ ਅਤੇ ਕਾਕ (ਅੰਗਰੇਜ਼ੀ ਕੁੱਕੜ) ਦੀ ਆਵਾਜ਼ ਦੀ ਸਮਾਨਤਾ ਪਹਿਲਾਂ ਹੀ ਪ੍ਰੋਜੈਕਟ ਵਿੱਚ ਚਲਾਈ ਜਾ ਚੁੱਕੀ ਹੈ: ਬਣਤਰਾਂ ਦਾ ਵਰਣਨ ਕਰਨ ਲਈ ਵਰਤੀ ਜਾਂਦੀ ਭਾਸ਼ਾ ਨੂੰ ਗਲੀਨਾ (ਲਾਤੀਨੀ ਚਿਕਨ) ਕਿਹਾ ਜਾਂਦਾ ਹੈ।

ਸਰੋਤ: opennet.ru