Работа с целью и вход в систему

#coq #coqide Вопрос: У меня в коке есть цель, и в ней есть знак"amp;". Как я могу с этим справиться? Я ценю любую помощь. С уважением Комментарии: 1. Можете ли…