Обсуждение:Coq
Перейти к навигации
Перейти к поиску
Проект «Информационные технологии» (уровень II, важность для проекта средняя)
Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Приметы слишком сложные! 1.47.166.25 15:09, 29 октября 2018 (UTC)