Результаты поиска по запросу "coqide"
Coqide 8.5: нет подсветки синтаксиса в Linux
Я установил Coqide 8,5 Вт /
Зарегистрируйтесь, чтоб продолжить пользоваться всеми функциями Techfeed
ЗарегистрироватьсяУже зарегистрированы?Войти
Я установил Coqide 8,5 Вт /