Ru
Тёмная тема
Зарегистрируйтесь, чтоб продолжить пользоваться всеми функциями Techfeed
Уже зарегистрированы?Войти
ешно установил Coq 8.6 и CoqIDE в Linux (Ubuntu 17.04). Однако я не знаю, чтобы продолжить, чтобы добавить SSReflect и MathComp к этой установке. Все ссылки,...