Исходное сообщение
"Инструментарий для доказательства теорем Coq рассматривает в..." Отправлено Аноним, 12-Апр-21 18:20
> показывая на код на экране и глумливо улыбаясь: "Как тебе мой coq?" Какая надуманная ситуация. Я девушка-программист, и 1) никогда такого рода шутки не встречала, хотя начала работать ещё до массовой истерии обид, когда нравы были свободнее; 2) если б и услышала, просто спокойно проигнорила, и с лёгкой улыбкой приступила бы к критике его coq-а ) Если человек настолько чувствителен, что его такие двусмысленные слова оскорбляют, пусть идёт двор мести, где с ним никто не разговаривает и обидеться не на кого.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: